=Paper=
{{Paper
|id=Vol-4032/demo20
|storemode=property
|title=A Library for Detecting Inconsistencies in Declarative Process Models
|pdfUrl=https://ceur-ws.org/Vol-4032/paper-42.pdf
|volume=Vol-4032
|authors=Sabine Nagel,Patrick Delfmann
}}
==A Library for Detecting Inconsistencies in Declarative Process Models==
None