Jump to content

Bibtex:Ohlebusch02: Difference between revisions

From Termination-Portal.org
No edit summary
No edit summary
 
Line 6: Line 6:
   title = {Advanced Topics in Term Rewriting},
   title = {Advanced Topics in Term Rewriting},
   publisher = {Springer},
   publisher = {Springer},
   address = {New York},
   address = {New York},  
   year = {2002}
   year = {2002}
}
}
</bibtex>
</bibtex>

Latest revision as of 15:42, 21 September 2009

BibTex

<bibtex> @book{ohlebusch02,

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

} </bibtex>