Benny Godlin, Ofer Strichman. Inference Rules for Proving the Equivalence of Recursive Procedures. In Zohar Manna, Doron Peled, editors, Time for Verification, Essays in Memory of Amir Pnueli. Volume 6200 of Lecture Notes in Computer Science, pages 167-184, Springer, 2010. [doi]
@inproceedings{GodlinS10,
title = {Inference Rules for Proving the Equivalence of Recursive Procedures},
author = {Benny Godlin and Ofer Strichman},
year = {2010},
doi = {10.1007/978-3-642-13754-9_8},
url = {http://dx.doi.org/10.1007/978-3-642-13754-9_8},
tags = {rule-based, rules},
researchr = {https://researchr.org/publication/GodlinS10},
cites = {0},
citedby = {0},
pages = {167-184},
booktitle = {Time for Verification, Essays in Memory of Amir Pnueli},
editor = {Zohar Manna and Doron Peled},
volume = {6200},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-13753-2},
}