Efrat Jaeger Nissim Francez Shuly Wintner Guaranteeing Parsing Termination of Unification Grammars. 2002 COLING http://acl.ldc.upenn.edu/C/C02/C02-1066.pdf db/conf/coling/coling2002.html#JaegerFW02