Claudio Di Ciccio, Marco Montali. Declarative Process Specifications: Reasoning, Discovery, Monitoring. In Wil M. P. van der Aalst, Josep Carmona 0001, editors, Process Mining Handbook. Volume 448 of Lecture Notes in Business Information Processing, pages 108-152, Springer, 2022. [doi]
Abstract is missing.