An Efficient Implementation of PATR for Categorial Unification Grammar. - Todd Yampol; Lauri Karttunen (COLING, 1990)