Luca Barbaro, Giovanni Varricchione, Marco Montali, Claudio Di Ciccio. f Declarative Specifications by Casting Three Spells. In Arik Senderovich, Cristina Cabanillas, Irene Vanderfeesten, Hajo A. Reijers, editors, Business Process Management Forum - BPM 2025 Forum, Seville, Spain, August 31 - September 5, 2025, Proceedings. Volume 564 of Lecture Notes in Business Information Processing, pages 3-22, Springer, 2025. [doi]
Abstract is missing.