Socher-Ambrosius, Rolf Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dugz2 (出版社版)
Johann, P., & Socher-Ambrosius, R. (1994). Solving Simplification Ordering Constraints. In J.-P., Jouannaud (Ed.), Constraints in Computational Logics (pp. 352-367). Berlin, Germany: Springer.