"au:"Geoffrey Irving"" — arXiv2 Search