Caching and Lemmaizing in Model Elimination Theorem Provers (1992)

by O L Astrachan, M E Stickel
Venue:Proc. CADE-11, LNAI 607