ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages