@techreport{marion:inria-00098750, TITLE = {{Light Multiset path ordering and Ptime - Two is better than one}}, AUTHOR = {Marion, Jean-Yves}, URL = {https://inria.hal.science/inria-00098750}, NOTE = {Rapport interne.}, TYPE = {Intern report}, NUMBER = {99-R-106 || marion99b}, PAGES = {19 p}, YEAR = {1999}, KEYWORDS = {termination ; ordering ; complexity ; ordre ; complexit{\'e} ; ptime ; terminaison}, PDF = {https://inria.hal.science/inria-00098750/file/99-R-106.pdf}, HAL_ID = {inria-00098750}, HAL_VERSION = {v1}, }