Caching and Lemmaizing in Model Elimination Theorem Provers.

Owen L. Astrachan, Mark E. Stickel

Browse the full CADE paper archive.