"au:"D. Treille"" — arXiv2 Search