First Order Theories of Quantification

Arkady Rabinov. First Order Theories of Quantification. In João P. Martins, Ernesto M. Morgado, editors, EPIA 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings. Volume 390 of Lecture Notes in Computer Science, pages 51-62, Springer, 1989.

Abstract

Abstract is missing.