1. Lecture Notes in Computer Science;A. Bouajjani,1997
2. Burel, G., Dowek, G., Jiang, Y.: Automata, resolution and cut-elimination (manuscript) (2015)
3. Lecture Notes in Computer Science;M. Dauchet,1985
4. Dershowitz, N.: Completion and its applications. In: Aït-Kaci, H., Nivat, M. (eds.) Resolution of Equations in Algebraic Structures, vol. 2, chapter 2, pp. 31–86. Academic Press (1989)
5. Dershowitz, N., Manna, Z.: Proving termination with multiset orderings. Communications of the ACM 22(8), 465–476 (1979)