Uwe Egly. Quantifers and the System KE: Some Surprising Results. In Georg Gottlob, Etienne Grandjean, Katrin Seyr, editors, Computer Science Logic, 12th International Workshop, CSL 98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings. Volume 1584 of Lecture Notes in Computer Science, pages 90-104, Springer, 1998.
Abstract is missing.