@article{duran:inria-00431474, TITLE = {{Proving Operational Termination of Membership Equational Programs}}, AUTHOR = {Dur{\'a}n, Francisco and Lucas, Salvador and March{\'e}, Claude and Meseguer, Jos{\'e} and Urbain, Xavier}, URL = {https://inria.hal.science/inria-00431474}, JOURNAL = {{Higher-Order and Symbolic Computation}}, PUBLISHER = {{Springer Verlag}}, VOLUME = {21}, NUMBER = {1-2}, PAGES = {59-88}, YEAR = {2008}, PDF = {https://inria.hal.science/inria-00431474/file/duran08hosc.pdf}, HAL_ID = {inria-00431474}, HAL_VERSION = {v1}, }