A Calculus For and Termination of Rippling

Authors
D.A.Basin,T.Walsh
Citation
D.a.basin,t.walsh, A Calculus For and Termination of Rippling, Journal of automated reasoning , 16(1;2), 1996, pp. 147-180
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
16
Issue
1;2
Year of publication
1996
Pages
147 - 180
Database
ACNP
SICI code