An algorithm for finding a minimal recursive path ordering Hassan Aït-Kaci — 1985 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications