"au:"A. Gehrmann-De Ridder"" — arXiv2 Search