http://termination-portal.org/mediawiki/index.php?action=history&feed=atom&title=Bibtex%3ADLMMU08Bibtex:DLMMU08 - Revision history2026-05-02T19:08:31ZRevision history for this page on the wikiMediaWiki 1.34.2http://termination-portal.org/mediawiki/index.php?title=Bibtex:DLMMU08&diff=873&oldid=prevBalarcon: New page: <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ...2009-06-16T15:42:50Z<p>New page: <a href="/wiki/Category:Bibtex" title="Category:Bibtex"> </a> <a href="/mediawiki/index.php?title=Category:BibtexNews&action=edit&redlink=1" class="new" title="Category:BibtexNews (page does not exist)"> </a> <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ...</p>
<p><b>New page</b></p><div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@article{DBLP:journals/lisp/DuranLMMU08,<br />
author = {F. Dur&aacute;n and<br />
S. Lucas and<br />
C. March&eacute; and<br />
J. Meseguer and<br />
X. Urbain},<br />
title = {Proving operational termination of membership equational<br />
programs},<br />
journal = {Higher-Order and Symbolic Computation},<br />
volume = {21},<br />
number = {1-2},<br />
year = {2008},<br />
pages = {59-88},<br />
<br />
}<br />
<br />
<br />
<br />
<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Balarcon