Jean-Pierre Jouannaud, Albert Rubio. Polymorphic higher-order recursive path orderings. Journal of the ACM, 54(1), 2007. [doi]
@article{JouannaudR07, title = {Polymorphic higher-order recursive path orderings}, author = {Jean-Pierre Jouannaud and Albert Rubio}, year = {2007}, doi = {10.1145/1206035.1206037}, url = {http://doi.acm.org/10.1145/1206035.1206037}, researchr = {https://researchr.org/publication/JouannaudR07}, cites = {0}, citedby = {0}, journal = {Journal of the ACM}, volume = {54}, number = {1}, }