[logic-ml] TACL2013