Title: CONCUR 2003 - Concurrency Theory
Subjects: Logic programming