Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh. Transforming and Refining Abstract Constraint Specifications. In Jean-Daniel Zucker, Lorenza Saitta, editors, Abstraction, Reformulation and Approximation, 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings. Volume 3607 of Lecture Notes in Computer Science, pages 76-91, Springer, 2005.
Abstract is missing.