Bibtex:DLMMU04

BibTex

<bibtex> @inproceedings{DBLP:conf/pepm/DuranLMMU04,

 author    = {F. Durán and
              S. Lucas and
              J. Meseguer and
              C. Marché and
              X. Urbain},
 title     = {Proving termination of membership equational programs},
 booktitle = {Proceedings of the 2004 ACM SIGPLAN Workshop on Partial
              Evaluation and Semantics-based Program Manipulation, PEPM'04},
 year      = {2004},
 pages     = {147-158},
 editor    = {Nevin Heintze and Peter Sestoft}

}

</bibtex>