Algorithmes d'élimination des quantificateurs Annette Paugam — 1985 Publications mathématiques et informatique de Rennes
Résolution du problème de l'ellipse et du cercle par l'algorithme de Hörmander Annette Paugam — 1990 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications