You are about to access our book library "A Resolution Principle for a Logic with Restricted Quantifiers full version" .