Publikation
A Resolution Principle for a Logic with Restricted Quantifiers
Hans-Jürgen Bürckert
PhD-Thesis, Universität Kaiserslautern, FB Informatik, Lecture Notes in Artificial Intelligence (LNAI), Vol. 568, 1991.
Publikation