Publikation Guiding equational proofs by attribute functions Jürgen Cleve; Dieter Hutter Interner Bericht, 1993. BibTeX Export Guiding equational proofs by attribute functions@techreport{pub1557, author = { Cleve, Jürgen and Hutter, Dieter }, title = {Guiding equational proofs by attribute functions}, year = {1993} }