<bibtex> @book{ohlebusch02,
author = {Enno Ohlebusch}, title = {Advanced Topics in Term Rewriting}, publisher = {Springer}, address = {New York}, year = {2002}
} </bibtex>
