A Superposition Oriented Theorem Prover

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

No reviews for this publication, yet.