Kolovos, D. S., Paige, R. F., Clariso, R., Matragkas, N., Clarisó, R., Kolovos, D., Paige, R., & Zolotas, A. (2017). Constraint programming for type inference in flexible model-driven engineering. Computer languages, systems & structures, 49, 216-230. https://doi.org/10.1016/j.cl.2016.12.002