Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni. Proving Theorems by Program Transformation. Fundamenta Informaticae, 127(1-4):115-134, 2013. [doi]
@article{FioravantiPPS13a, title = {Proving Theorems by Program Transformation}, author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti and Valerio Senni}, year = {2013}, doi = {10.3233/FI-2013-899}, url = {http://dx.doi.org/10.3233/FI-2013-899}, researchr = {https://researchr.org/publication/FioravantiPPS13a}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {127}, number = {1-4}, pages = {115-134}, }