Timm, Jan-Georg Programming Logics, MPI for Informatics, Max Planck Society;
Timm, J.-G. (1997). Testing the Satisfiability of RPO Constraints. Master Thesis, Universität des Saarlandes, Saarbrücken.