A Superposition Oriented Theorem Prover

Laurent Fribourg. A Superposition Oriented Theorem Prover. Theoretical Computer Science, 35:129-164, 1985.

Abstract

Abstract is missing.