[logic-ml] JURISIN2012