Kolovos, Dimitrios S., Paige, Richard F., Clariso, Robert, Matragkas, Nicholas, Clarisó, Robert, Kolovos, Dimitrios, Paige, Richard, Zolotas, Athanasios, "Constraint programming for type inference in flexible model-driven engineering", Computer languages, systems & structures, 2017