Optimal Unification and Learning Algorithms for Categorial Grammars. - Barbara Dziemidowicz (Fundam. Informaticae, 2002)