"au:"B. Trakhtenbrot"" — arXiv2 Search