1. R. Anderson, Completeness results for E-resolution, AFIPS Spring Joint Computer Conference, 1970, pp. 652–656.
2. R. S. Boyer and J. S. Moore, A Computational Logic, Academic Press, New York, N.Y., 1979.
3. D. Brand, Proving theorems with the modification method, SIAM Journal of Computing, Vol. 4, No. 2, 1975, pp. 412–430.
4. V. Digricoli, Resolution By Unification and Equality, Ph.D. thesis, New York University, New York, N.Y., 1983.
5. R. Kowalski, Logic for Problem Solving, North Holland, New York, N.Y., 1979.