Jump to content

Bibtex:TeReSe03

From Termination-Portal.org
Revision as of 14:30, 30 March 2008 by Admin (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

BibTex

<bibtex> @book{terese03, 

 editor = {Marc Bezem, Jan Willem Klop, Roel de Vrijer},
 title = {Term Rewriting Seminar -- Terese},
 publisher = {Cambridge University Press},
 year = {2003}

} </bibtex>

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Bibtex:TeReSe03&oldid=257"