D. Calvanese, A. Gianola, A. Mazzullo, and M. Montali, “SMT Safety Verification of Ontology-Based Processes”, AAAI, vol. 37, no. 5, pp. 6271-6279, Jun. 2023.