SATCHMO: A Theorem Prover Implemented in Prolog.

Rainer Manthey, Franois Bry

Browse the full CADE paper archive.