Equalizing Terms by Difference Reduction Techniques

@inproceedings{pub1594,
    author = {

Hutter, Dieter
},
    editor = {

Kirchner, H.
 and 

Gramlich, B.
},
    title = {Equalizing Terms by Difference Reduction Techniques},
    booktitle = {Proceedings Workshop on Strategies in Automated Deduction. International Workshop on Strategies in Automated Deduction (STRATEGIES), Townsville},
    year = {1997},
    address = {Townsville, Australia},
    organization = {14th International Conference on Automated Deduction, CADE-14}
}