Bruno Poizat. Une tentative malheureuse do construire une structure éliminant rapidement les quanteurs. In Peter Clote, Helmut Schwichtenberg, editors, Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings. Volume 1862 of Lecture Notes in Computer Science, pages 61-70, Springer, 2000. [doi]
Abstract is missing.