TY  - BOOK
AU  - Pfalzgraf,Jochen
AU  - Wang,Dongming
TI  - Automated practical reasoning: algebraic approaches 
SN  - 3211826009 :
U1  - 005.131 
PY  - 1995///
CY  - Wien
PB  - Springer-Verlag
KW  - Automatic theorem proving
KW  - Practical reason
KW  - Reasoning
N1  - Includes index
ER  -