Ahlem Ben Cherifa, Pierre Lescanne. Termination of Rewriting Systems by Polynomial Interpretations and Its Implementation. Science of Computer Programming, 9(2):137-159, 1987.
No references recorded for this publication.
No citations of this publication recorded.