Geatti, L.; Montali, M.; Rivkin, A. Foundations of Reactive Synthesis for Declarative Process Specifications. AAAI 2024, 38, 17416-17425.