@INPROCEEDINGS{BasinWalshCTRS,
AUTHOR = "Basin, David and Toby Walsh",
TITLE = "A Calculus for Rippling",
BOOKTITLE = "Workshop on Conditional Term Rewriting (CTRS-94)",
YEAR = 1994,
publisher = "Springer-Verlag",
Series = {LNCS},
Volume = 968,
PAGES = "15--30"
}