Caching and Lemmaizing in Model Elimination Theorem Provers (1992)

by O L Astrachan, M E Stickel
Venue:In Proceedings of Automated Deduction - CADE-11, 11th International Conference on Automated Deduction