Resolution principles for a logic with restricted quantifiers - Burckert H J (Berlin Springer Verlag, 1991)
Keywords: Artificial intelligence; Special computer method