Jump to content

Bibtex:Ohlebusch02

From Termination-Portal.org
Revision as of 15:42, 21 September 2009 by C-Otto (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

BibTex

<bibtex> @book{ohlebusch02, 

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

} </bibtex>

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