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