"au:"J. Denef"" — arXiv2 Search