Jump to content

Bibtex:Ohlebusch02

From Termination-Portal.org
Revision as of 14:29, 30 March 2008 by Admin (talk | contribs)

BibTex

<bibtex> @book{ohlebusch02,

 author = {Enno Ohlebusch},
 title = {Advanced Topics in Term Rewriting},
 publisher = {Springer},
 address = {New York},
 year = {2002}

} </bibtex>