Termination Proof of Term Rewriting System with the Multiset Path Ordering. A Complete Development in the System Coq

@inproceedings{Leclerc1995TerminationPO,
  title={Termination Proof of Term Rewriting System with the Multiset Path Ordering. A Complete Development in the System Coq},
  author={François Leclerc},
  booktitle={TLCA},
  year={1995}
}