A tutorial on the construction of high-performance resolution /paramodulation systems (1990)

by R Butler, R Overbeek