Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes

Authors

Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Evelina Lamma, Paola Mello,