Grigori Mints. Strong Termination for the Epsilong Substitution Method. Journal of Symbolic Logic, 61(4):1193-1205, 1996.
@article{Mints96, title = {Strong Termination for the Epsilong Substitution Method}, author = {Grigori Mints}, year = {1996}, tags = {termination}, researchr = {https://researchr.org/publication/Mints96}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {61}, number = {4}, pages = {1193-1205}, }