Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version) - Calvanese, Diego; Kharlamov, Evgeny; Montali, Marco; Santoso, Ario; Zheleznyakov, Dmitriy (CoRR, 2013)