@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} }
