Rule Propagation: Adapting Procedural Process Models to Declarative Business Rules. - Riccardo De Masellis; Chiara Di Francescomarino; Chiara Ghidini; Arne Laponin; Fabrizio Maria Maggi (EDOC, 2017)