"Caching and Lemmaizing in Model Elimination Theorem Provers."

Owen L. Astrachan, Mark E. Stickel (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics