Calvanese D, Gianola A, Mazzullo A, Montali M. SMT Safety Verification of Ontology-Based Processes. AAAI [Internet]. 2023Jun.26 [cited 2024May18];37(5):6271-9. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/25772