[logic-ml] EASLLC 2012