Francisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain. Proving termination of membership equational programs. In Nevin Heintze, Peter Sestoft, editors, Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004. pages 147-158, ACM, 2004. [doi]
@inproceedings{DuranLMMU04,
title = {Proving termination of membership equational programs},
author = {Francisco Durán and Salvador Lucas and José Meseguer and Claude Marché and Xavier Urbain},
year = {2004},
doi = {10.1145/1014007.1014022},
url = {http://doi.acm.org/10.1145/1014007.1014022},
tags = {termination},
researchr = {https://researchr.org/publication/DuranLMMU04},
cites = {0},
citedby = {0},
pages = {147-158},
booktitle = {Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004},
editor = {Nevin Heintze and Peter Sestoft},
publisher = {ACM},
isbn = {1-58113-835-0},
}