Equalising Terms by Difference Reduction Techniques

@techreport{pub1595,
    author = {

Hutter, Dieter
},
    title = {Equalising Terms by Difference Reduction Techniques},
    year = {1997},
    volume = {No.845}
}