Claire Gardent,
Michael Kohlhase and
Karsten Konrad. Higher-Order Coloured Unification: a Linguistic Application. In Technique et Science Informatiques, Vol. 18(2):181-209, 1999.
@Article{Gardent_et_al:1999,
AUTHOR = {Gardent, Claire and Kohlhase, Michael and Konrad, Karsten},
TITLE = {Higher-Order Coloured Unification: a Linguistic Application},
YEAR = {1999},
JOURNAL = {Technique et Science Informatiques},
VOLUME = {18},
NUMBER = {2},
PAGES = {181-209}
}
|
