"au:"M. A. Voronkov"" — arXiv2 Search