A Superposition Oriented Theorem Prover

Laurent Fribourg. A Superposition Oriented Theorem Prover. In IJCAI. pages 923-925, 1983.

Bibliographies