David A. Basin, Toby Walsh. A Calculus for and Termination of Rippling. Journal of Automated Reasoning, 16(1-2):147-180, 1996.
@article{BasinW96, title = {A Calculus for and Termination of Rippling}, author = {David A. Basin and Toby Walsh}, year = {1996}, tags = {termination}, researchr = {https://researchr.org/publication/BasinW96}, cites = {0}, citedby = {0}, journal = {Journal of Automated Reasoning}, volume = {16}, number = {1-2}, pages = {147-180}, }