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