Marco Cadoli, Toni Mancini. Automated Reformulation of Specifications by Safe Delay of Constraints. In Didier Dubois, Christopher A. Welty, Mary-Anne Williams, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004. pages 388-398, AAAI Press, 2004.
@inproceedings{CadoliM04:0,
title = {Automated Reformulation of Specifications by Safe Delay of Constraints},
author = {Marco Cadoli and Toni Mancini},
year = {2004},
tags = {constraints},
researchr = {https://researchr.org/publication/CadoliM04%3A0},
cites = {0},
citedby = {0},
pages = {388-398},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004},
editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams},
publisher = {AAAI Press},
isbn = {1-57735-199-1},
}