Corrections and Higher-Order Unification

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.

Abstract

Abstract is missing.