Transforming and Refining Abstract Constraint Specifications (2005)

by A M Frisch, B Hnich, I Miguel, B M Smith, T Walsh
Venue:Abstraction, Reformulation and Approximation, 6th International Symposium, Proceedings SARA 2005, LNCS 3607