Formula databases for high-performance resolution/paramodulation systems (1994)

by R Butler, R Overbeek
Venue:Journal of Automated Reasoning