Unification grammars, by Nissim Francez and Shuly Wintner