"au:"Robert B. van Dover"" — arXiv2 Search