An Algorithm for Finding A Minimal Recursive Path Ordering.

Hassan Aït-Kaci
Published in: RAIRO Theor. Informatics Appl. (1985)
Keyphrases