"au:"R. Gobat"" — arXiv2 Search