"au:"John Bechhoefer"" — arXiv2 Search