TY  - BOOK
AU  - Walther, Christoph
TI  - A MANY-SORTED CALCULUS BASED ON RESOLUTION AND PARAMODULATION
SN  - 0934613494
U1  - 511.3 
PY  - 0000///
CY  - 
PB  - 
KW  - Automatic Theorem Proving
ER  -