TY  - GEN
TI  - LECTURE NOTES IN ARTIFICIAL INTELLIGENCE: RESOLUTION PRINCIPAL FOR A LOGIC WITH RESTRICTED QUANTIFIERS ;V.568
SN  - 34540550348
U1  - 001.535 
PY  - 1991///
CY  - 
PB  - Springer-Verlag, Berlin
ER  -