Collaborative Research Project within the EUROCORES programme LogICCC of the European Science Foundation (ESF)
Collaborating Partners: Tübingen (WSI), Lisbon (CENTRIA), Amsterdam (ILLC).