A Resolution Principle for a Logic With Restricted Quantifiers - Hans-Jürgen Bürckert