Higher-Order Coloured Unification: a Linguistic Application
Autor: Claire Gardent and Michael Kohlhase and Karsten Konrad
Herausgeber: