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