@article{ITA_1982__16_4_331_0, author = {Lescanne, Pierre}, title = {Some properties of decomposition ordering, a simplification ordering to prove termination of rewriting systems}, journal = {RAIRO. Informatique th\'eorique}, pages = {331--347}, publisher = {EDP-Sciences}, volume = {16}, number = {4}, year = {1982}, zbl = {0518.68025}, mrnumber = {707635}, language = {en}, url = {http://www.numdam.org/item/ITA_1982__16_4_331_0/} }