Using Rippling for Equational Reasoning

@inproceedings{pub1591,
    author = {

Hutter, Dieter
},
    editor = {

Hölldobler, S.
},
    title = {Using Rippling for Equational Reasoning},
    booktitle = {Proceedings 20th German Annual Conference on Artificial Intelligence KI-96. German Conference on Artificial Intelligence (KI-96), September 17-19, Dresden, Germany},
    series = {Lecture Notes in Artificial Intelligence (LNAI)},
    year = {1996},
    volume = {1137},
    pages = {121--134},
    publisher = {Springer}
}