UNICOM: A Refined Completion Based Inductive Theorem Prover.

Bernhard Gramlich

Browse the full CADE paper archive.