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  -