author = { Calvanese, Diego AND Gianola, Alessandro AND Mazzullo, Andrea AND Montali, Marco },

title = { SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results) },

publisher = {},

year = {2021},

address = { },

url = { http://slubdd.de/katalog?TN_libero_mab2 }