1. Introduction to Number Theory;Adams,1976
2. Hilbert's Tenth Problem has type zero;Franzen,1989
3. Completion of a set of rules modulo a set of equations;Jouannaud;SIAM J. Comput.,1986
4. Building-in equational theories;Plotkin;Mach. Intell.,1972
5. Unification theory;Siekmann;J. Symbolic Comput.,1989