Paraconsistent reasoning for inconsistency measurement in declarative process specifications. - Corea, Carl; Kuhlmann, Isabelle; Thimm, Matthias; Grant, John (Information Systems, 2024)