Olivier Ponsini, Carine Fédèle, Emmanuel Kounalis. Rewriting of imperative programs into logical equations. Science of Computer Programming, 56(3):363-401, 2005. [doi]
@article{PonsiniFK05, title = {Rewriting of imperative programs into logical equations}, author = {Olivier Ponsini and Carine Fédèle and Emmanuel Kounalis}, year = {2005}, doi = {10.1016/j.scico.2004.10.001}, url = {http://dx.doi.org/10.1016/j.scico.2004.10.001}, tags = {graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/PonsiniFK05}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {56}, number = {3}, pages = {363-401}, }