Polynomially parsable unification grammars. - Hadas Peled; Shuly Wintner (J. Log. Comput., 2015)