Reihe Lecture Notes in Artificial IntelligenceHans-Jürgen Bürckert × A Resolution Principle for a Logic with Restricted Quantifiers Hans-Jürgen BürckertSpringer BerlineBook2005 A Resolution Principle for a Logic with Restricted Quantifiers Hans-Jürgen BürckertSpringer BerlinSoftcover1991