%0 Book
%A H.-J. Burckert
%T A resolution principle for a logic with restricted quantifiers
%U /book/101373607/A-resolution-principle-for-a-logic-with-restricted/