%0 Journal Article %1 journals/jar/BasinW96 %A Basin, David A. %A Walsh, Toby %D 1996 %J J. Autom. Reason. %K dblp %N 1-2 %P 147-180 %T A Calculus for and Termination of Rippling. %U http://dblp.uni-trier.de/db/journals/jar/jar16.html#BasinW96 %V 16

@article{journals/jar/BasinW96, added-at = {2020-09-02T00:00:00.000+0200}, author = {Basin, David A. and Walsh, Toby}, biburl = {https://www.bibsonomy.org/bibtex/277dfe73b37295299d4a470db8836a9e1/dblp}, ee = {https://doi.org/10.1007/BF00244462}, interhash = {1bace94f4723dc82dfed933e7576d922}, intrahash = {77dfe73b37295299d4a470db8836a9e1}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = {1-2}, pages = {147-180}, timestamp = {2020-09-09T13:34:28.000+0200}, title = {A Calculus for and Termination of Rippling.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar16.html#BasinW96}, volume = 16, year = 1996 }