Termination of Theorem Proving by Reuse.

Thomas Kolbe, Christoph Walther

Browse the full CADE paper archive.