Verification of Description Logic Knowledge and Action Bases (2012)

by Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, Marco Montali