1. A linear format for resolution with merging and a new technique for establishing completeness;Anderson;J. ACM,1970
2. An interactive theorem proving program;Allen,1970
3. Resolution with merging;Andrews;J. ACM,1968
4. Anderson, R. Completeness results for E-resolution, Proc. Spring Joint Comp. Conf. 1970, 653–656.
5. Boyer, R. S. Locking: a restriction of resolution, Ph. D. dissertation, University of Texas at Austin, (August 1971), 74 pp.