"au:"A. Bedalov"" — arXiv2 Search