Termersetzungssysteme - Theorie, Implementierung, Anwendung

@inproceedings{Bndgen1998TermersetzungssystemeT,
  title={Termersetzungssysteme - Theorie, Implementierung, Anwendung},
  author={Reinhard B{\"u}ndgen},
  year={1998}
}