This page has moved to hanusa.xyz/papers.html.