A resolution principle for a logic with restricted quantifiers - Bürckert, H.-J. (Hans-Jürgen) (Lecture notes in computer science ;, 1991)