1. Avenhaus, J. (1995). Reduktionssysteme. Springer.
2. Baader, E and Nipkow, T. (1998). Term Rewriting and All That. Cambridge University Press.
3. Boyer, R. and Moore, J. S. (1979). A Computational Logic. Academic Press, Boston.
4. Brauburger, J. (1997). Automatic Termination Analysis for Partial Functions using Polynomial Orderings. In Proceedings of the 4th International Static Analysis Symposium (SAS ’87), Paris, France,LNCS 1302, pages 330–344. Springer.
5. Brauburger, J. (1999). Automatic Termination Analysis for Functional and Imperative Programs. Doctoral Dissertation TU Darmstadt, Infix, St. Augustin, Germany.