1. Bachmair, L., Dershowitz, N.: Inference Rules for Rewrite-Based First-Order Theorem Proving, 2nd LICS, May 1987.
2. Denzinger, J.: Implementation of a Theorem Prover Based on Rewriting-Techniques (in German), project-report, University of Kaiserslautern.
3. Denzinger, J.: EQTHEOPOGLES (in German), M.S. thesis, University of Kaiserslautern.
4. Denzinger, J., Müller, J.: THEOPOGLES user manual, University of Kaiserslautern.
5. Hsiang, J.: Refutational Theorem Proving using Term Rewriting Systems, AI 25, 1985, 255–300.