"au:"Raphael Gobat"" — arXiv2 Search