A resolution principle for a logic with restricted quantifiers - Bürckert, Hans-Jürgen (Springer, 1991)
Teilw. zugl.: Kaiserslautern, Univ., Diss.