1. Hillenbrand, T., Löchner, B.: A Phytography of Waldmeister. AI Communications 15(2-3), 127–133 (2002)
2. Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice Hall International, Englewood Cliffs (1993)
3. Knuth, D., Bendix, P.: Simple word problems in universal algebras. In: Leech, J. (ed.) Computational Problems in Abstract Algebra, pp. 263–297. Pergamon Press, Oxford (1970)
4. Korovin, K., Voronkov, A.: Orienting rewrite rules with the Knuth-Bendix order. Information and Computation 183(2), 165–186 (2003)
5. Löchner, B., Schulz, S.: An Evaluation of Shared Rewriting. In: de Nivelle, H., Schulz, S. (eds.) Proc. of the 2nd International Workshop on the Implementation of Logics, MPI Preprint, Saarbrücken. Max-Planck-Institut für Informatik, pp. 33–48 (2001)