Franz Winkler,
"Equational Theorem Proving and Rewrite Rule Systems"
, in J. Retti und K. Leidlmair: 5. Österreichische Artificial-Intelligence-Tagung, Springer Verlag, Seite(n) 26-39, 1989
Original Titel:
Equational Theorem Proving and Rewrite Rule Systems