%0 Journal Article
%A Paugam, Annette
%T Algorithmes d'élimination des quantificateurs
%J Publications de l'Institut de recherche mathématiques de Rennes
%D 1985
%P 173-195
%N 4
%I Département de Mathématiques et Informatique, Université de Rennes
%U http://www.numdam.org/item/PSMIR_1985___4_173_0/
%G fr
%F PSMIR_1985___4_173_0