Claire Gardent, Michael Kohlhase, Noor van Leusen. Corrections and Higher-Order Unification. In Dafydd Gibbon, editor, Natural Language Processing and Speech Technology, Results of the 3rd KONVENS Conference, Bielefeld, October 1996. pages 268-279, de Gruyter, 1996.
No references recorded for this publication.
No citations of this publication recorded.