"au:"R. Hindsley"" — arXiv2 Search