Nonnengart, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Eisinger, N., Nonnengart, A., & Präcklein, A. (1992). Termersetzungssysteme. In K. Bläsius, & H.-J. Bürckert (Eds.), Deduktionssysteme -- Automatisierung des logischen Denkens (pp. 126-149). München, Germany: Oldenbourg.