"au:"E. Levesque"" — arXiv2 Search