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.
No references recorded for this publication.
No citations of this publication recorded.