[logic-ml] 2012LLS