author = {F. Winkler},
title = {{Equational Theorem Proving and Rewrite Rule Systems}},
booktitle = {{5. Österreichische Artificial-Intelligence-Tagung}},
language = {english},
series = {Informatik Fachberichte 208},
pages = {26--39},
publisher = {Springer-Verlag},
isbn_issn = {ISBN:3-540-51039-7},
year = {1989},
editor = {J. Retti and K. Leidlmair},
refereed = {yes},
length = {13}