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.
@inproceedings{GardentKL96,
title = {Corrections and Higher-Order Unification},
author = {Claire Gardent and Michael Kohlhase and Noor van Leusen},
year = {1996},
researchr = {https://researchr.org/publication/GardentKL96},
cites = {0},
citedby = {0},
pages = {268-279},
booktitle = {Natural Language Processing and Speech Technology, Results of the 3rd KONVENS Conference, Bielefeld, October 1996},
editor = {Dafydd Gibbon},
publisher = {de Gruyter},
isbn = {3-11-015449-8},
}