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.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence