Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni. Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions. Intelligenza Artificiale, 5(1):101-105, 2011. [doi]
Abstract is missing.