Reiner Hähnle Bernhard Beckert Stefan Gerberding Werner Kernig The Many-Valued Theorem Prover <sub>3</sub>T<sup>A</sup>P. IWBS Report 227 1992 IBM Germany Science Center, Institute for Knowledge Based Systems