pdf bibGuaranteeing Parsing Termination of Unification GrammarsEfrat Jaeger | Nissim Francez | Shuly WintnerCOLING 2002: The 19th International Conference on Computational Linguistics