1. Abbas, A., Tsang, E.P.K.: Toward a general language for the specification of constraint satisfaction problems. In: Proc. Constraint Programming, Artificial Intelligence and Operations Research (CP-AI-OR) Wshop (2001)
2. Borrett, J.E.: Formulation selection for constraint satisfaction problem: a heuristic approach. PhD Thesis, Dept. of Computer Science, University of Essex, UK (1998)
3. Borrett, J.E., Tsang, E.P.K.: A context for constraint satisfaction problem formulation selection. Constraints 6(4), 299–327 (2001)
4. Bradwell, R., Ford, J., Mills, P., Tsang, E.P.K., Williams, R.: An overview of the CACP project: modelling and solving constraint satisfaction/optimisation problems with minimal expert intervention. In: Proc. Wshop. on Analysis and Visualization of Constraint Programs & Solvers (2000)
5. Bundy, A.: A Science of Reasoning. In: Lassez, J.-L., Plotkin, G. (eds.) Computational Logic: Essays in Honor of Alan Robinson, pp. 178–198 (1991)