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) 568 1991.

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