You are about to access our book library "A Resolution Principle for a Logic with Restricted Quantifiers (Lecture Notes in Computer Science, 568) full version" .