Linear Paramodulation modulo Equality.

Ulrich Furbach, Steffen Hlldobler, Joachim F. Schreiber

Browse the full KI paper archive.