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