Guiding equational proofs by attribute functions

@techreport{pub1557,
    author = {

Cleve, Jürgen
 and 

Hutter, Dieter
},
    title = {Guiding equational proofs by attribute functions},
    year = {1993}
}