ICLP 2012

ICLP 2012 proceedings editors were Agostino Dovier and Vitor Santos Costa.