A resolution principle for a logic with restricted quantifiers - Bürckert, H. J. (Hans-Jürgen) (Berlin ; New York : Springer-Verlag, 2012)