1. Avenhaus, J.; Denzinger, J.: Distributing equational theorem proving, Proc. 5th RTA, Montreal, LNCS 690, 1993, pp. 62–76.
2. Boddy, M.; Dean, T.: An Analysis of Time-Dependent Planning, Proc. 7. National Conf. on AI, Minneapolis, 1988, pp. 49–54.
3. Bachmair, L.; Dershowitz, N.; Plaisted, D.A.: Completion without Failure, Coll. on the Resolution of Equations in Algebraic Structures, Austin (1987), Academic Press, 1989.
4. Beetz, M.: Decision-theoretic Transformational Planning, Internal report, Yale University, 1991.
5. Bundy, A.: The use of explicit plans to guide inductive proofs, Proc. 9th CADE, 1988.