Selected references
- Peter B. Andrews. Resolution with merging. Journal of the ACM, 15(3):367-381, July 1968.
- Lawrence Wos, George A. Robinson, and Daniel F. Carson. Efficiency and completeness of the set of support strategy in theorem proving. Journal of the ACM, 12(4):536-541, October 1965.