Caching and lemmaizing in model elimination theorem provers (1992)

by O W Astrachan, M E Stickel
Venue:In Proc. 11th Conference on Automated Deduction