Christer Samuelsson. Avoiding Non-Termination in Unification Grammars.  In 
   Yuji Matsumoto editor,  4th International Workshop on Natural Language Understanding and Logic Programming (NLULP4), September 29 - October 1, Pages 4-16, Nara, Japan,   1993.      google
     |