Erratum: Web Service Mining and Verification of Properties: An Approach Based on Event Calculus. - Rouached, Mohsen; Gaaloul, Walid; Aalst, Wil M. P. van der; Bhiri, Sami; Godart, Claude (2006)