1. D. H. Ballard. Parallel logic inference and energy minimization. TR 142, CS Dep., Univ. of Rochester, NY 14627, (3)86.
2. R.S. Boyer, J.S. Moore. The sharing of structure in theorem-proving programs. Mach.Int., 101-116, 72.
3. N. Dershowitz, J.-P. Touannaud. Rewrite systems. In J. van Leeuven, ed., Handbook of Theoretical Computer Science B: Formal Methods and Semantics, 243-320. North-Holland, Amsterdam, 90.
4. C. Dwork, P.C. Kanellakis, J.C. Mitchell. On the sequential nature of unification. J. of Logic Programming, 1:35-50, 84.
5. N. Eisinger, H. J. Ohlbach. Deduction systems based on resolution. SR-90-12, Univ. K’lautern, 90.