Bibtex:DLMMU08

BibTex

<bibtex> @article{DBLP:journals/lisp/DuranLMMU08,

 author    = {F. Durán and
              S. Lucas and
              C. Marché and
              J. Meseguer and
              X. Urbain},
 title     = {Proving operational termination of membership equational
              programs},
 journal   = {Higher-Order and Symbolic Computation},
 volume    = {21},
 number    = {1-2},
 year      = {2008},
 pages     = {59-88},

}

</bibtex>