https://mina7.net/es/grant/32153,using-logic-as-a-tool-for-modelling-vu-amsterdam-summer-school-netherlands