Modular and incremental proofs of AC-termination

@article{March2004ModularAI,
  title={Modular and incremental proofs of AC-termination},
  author={Claude March{\'e} and Xavier Urbain},
  journal={J. Symb. Comput.},
  year={2004},
  volume={38},
  pages={873-897}
}