An algorithm for finding a minimal recursive path orderingHassan Aït-KaciRAIRO. Inform. théor., 19 4 (1985) 359-382DOI: https://doi.org/10.1051/ita/1985190403591
