Papers in proceedings

• Ana Sofia Gomes and José Júlio Alferes, Transaction Logic with (Complex) Events, in: Michael Leuschel and Tom Schrijvers (eds), Technical Communications of the 30th International Con- ference on Logic Programming (ICLP’14), July 2014.