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 -