Structuring Deduction by Using Abstractions

@inproceedings{pub1598,
    author = {

Hutter, Dieter
},
    editor = {

Ellman, T.
},
    title = {Structuring Deduction by Using Abstractions},
    booktitle = {Proceedings International Symposium on Abstraction, Reformulation, and Approximation, SARA-98. International Symposium on Abstraction, Reformulation, and Approximation (SARA), Asimolar, Pacific Grove, CA, United States},
    year = {1998},
    pages = {72--78}
}