Bruno Poizat Une tentative malheureuse do construire une structure éliminant rapidement les quanteurs. 61-70 http://link.springer.de/link/service/series/0558/bibs/1862/18620061.htm 2000 conf/csl/2000 CSL db/conf/csl/csl2000.html#Poizat00