From Termination-Portal.org
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
BibTex
<bibtex>
@book{buendgen98,
author = {Reinhard Bündgen},
title = {Termersetzungssysteme; Theorie, Implementierung, Anwendung},
publisher = {Vieweg},
year = {1998}
}
</bibtex>
