On compliance checking for clausal constraints in annotated process models

On compliance checking for clausal constraints in annotated process models