1. Baatar, D., Boland, N., Brand, S., Stuckey, P.J. (2011). CP and IP approaches to cancer radiotherapy delivery optimization. Constraints, 16(2), 173–194.
2. Boussemart, F., Hemery, F., Lecoutre, C., Sais, L. (2004). Boosting systematic search by weighting constraints. In R.L. de Mántaras, & L. Saitta (Eds.), Proceedings of the 16th Eureopean conference on artificial intelligence, ECAI’2004 (pp. 146–150). IOS Press.
3. Choi, C.W., Henz, M., Ng, K.B. (2001). A compositional framework for search. In Proceedings of CICLOPS: C olloquium on implementation of constraint and logic p rogramming systems, appeared as technical report TR-CS-003/2001. New Mexico State University.
4. Cook, W.R. (1989). A denotational semantics of inheritance. Ph.D. thesis, Brown University.
5. Cremet, V., Garillot, F., Lenglet, S., Odersky, M. (2006). A core calculus for scala type checking. In R. Kralovic, & P. Urzyczyn (Eds.), Mathematical foundations of computer science 2006, 31st international symposium, MFCS 2006. LNCS (Vol. 4162, pp. 1–23). Springer.