Carl Corea, Isabelle Kuhlmann, Matthias Thimm &  John Grant,  "Paraconsistent reasoning for inconsistency measurement in declarative process specifications", Information SystemsVolume 122, May 2024.