1. Becket, R., Brand, S., Brown, M., Duck, G., Feydy, T., Fischer, J., Huang, J., Marriott, K., Nethercote, N., Puchinger, J., Rafeh, R., Stuckey, P., Wallace, M.: The many roads leading to Rome: Solving Zinc models by various solvers. In: Proc. ModRef: 7th International Workshop on Constraint Modelling and Reformulation (2008)
2. Lecture Notes in Computer Science;R. Becket,2005
3. Lecture Notes in Computer Science;G. Duck,2008
4. Marriott, K., Nethercote, N., Rafeh, R., Stuckey, P., Garcia de la Banda, M., Wallace, M.: The design of the Zinc modelling language. Constraints 13(3), 229–267 (2008)
5. Lecture Notes in Computer Science;N. Nethercote,2007