TY  - BOOK
AU  - Fermuller C
TI  - Resolution methods for the decision problem
SN  - 3-540-56632-1
U1  - 511.3 
PY  - 1993///
CY  - Berlin
PB  - Springer-Verlag
KW  - Mathematical logic
KW  - Mathematics-decidability
ER  -