Calvanese, D.; Gianola, A.; Mazzullo, A.; Montali, M. SMT Safety Verification of Ontology-Based Processes. AAAI 2023, 37, 6271-6279.