1. J. Avenhaus and J. Denzinger. Distributing equational theorem proving. InC. Kirchner, editor, Rewriting Techniques and Applications (LNCS 690), pages 62-76. Springer-Verlag, 1993. (Proc. RTA'93, Montreal, Canada, June 1993).
2. R. Bündgen. Reduce the redex → ReDuX. In C. Kirchner, editor, Rewriting Techniques and Applications (LNCS 690), pages 446-450. Springer-Verlag, 1993. (Proc. RTA'93, Montreal, Canada, June 1993).
3. R. Bündgen, M. Göbel, and W. Küchlin. Experiments with multi-threaded Knuth-Bendix completion. Technical Report 94-05, Wilhelm-Schickard-Institut, Universität Tübingen, D-72076 Tübingen, 1994.
4. R. Bündgen, M. Göbel, and W. Küchlin. A fine-grained parallel completion procedure. In International Symposium on Symbolic and Algebraic Computation, pages 269–277. ACM Press, 1994. (Proc. ISSAC'94, Oxford, England, July 1994).
5. R. Bündgen, M. Göbel, and W. Küchlin. Multi-threaded AC term rewriting. In H. Hong, editor, First International Symposium on Parallel Symbolic Computation PASCO'94, pages 84–93. World Scientific, 1994. (Proc. PASCO'94, Linz, Austria, September 1994).