Transforming and refining abstract constraint specifications (2005)

by Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh
Venue:In Proceedings of the Sixth Symposium on Abstraction, Reformulation and Approximation, volume 3607 of Lecture Notes in Computer Science