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.
Abstract is missing.