TY - BOOK AU - Burckert H J TI - Resolution principles for a logic with restricted quantifiers U1 - 006.3 PY - 1991/// CY - Berlin PB - Springer Verlag KW - Artificial intelligence KW - Special computer method ER -