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