You are about to access our book library "Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach (Lecture Notes in Business Information Processing, 56) full version" .