Individual Determinacy and Identity Criteria in Ontology-Driven Information Systems. - João R. M. Nicola; Giancarlo Guizzardi (FOIS, 2018)

On the Role of Automated Proof-Assistants in the Formalization of Upper Ontologies. - João R. M. Nicola; Giancarlo Guizzardi (JOWO, 2021)

Towards a Structural Characterization of Identity, Individuality and Sortality. - João R. M. Nicola; Giancarlo Guizzardi (JOWO, 2021)