Elimination des quantificateurs sur les réels en Coq (2002)

by A Mahboubi, L Pottier
Venue:In Journées Francophones des Langages Applicatifs (JFLA), available on the Web from http://pauillac.inria.fr/jfla/2002/actes/index.html08-mahboubi.ps