Alessandro Artale, Enrico Franconi. Towards a Logical Foundation of Reification in Modelling Languages. In Stefano Borgo, Roberta Ferrario, Claudio Masolo, Laure Vieu, editors, Ontology Makes Sense - Essays in honor of Nicola Guarino. Volume 316 of Frontiers in Artificial Intelligence and Applications, pages 242-256, IOS Press, 2019. [doi]
Abstract is missing.