Marco Cadoli, Toni Mancini. Towards automated reformulation of specications. In Francesco Buccafurri, editor, 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003. pages 398-409, 2003.
@inproceedings{CadoliM03,
title = {Towards automated reformulation of specications},
author = {Marco Cadoli and Toni Mancini},
year = {2003},
researchr = {https://researchr.org/publication/CadoliM03},
cites = {0},
citedby = {0},
pages = {398-409},
booktitle = {2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003},
editor = {Francesco Buccafurri},
}