@Other{Kuhlmann_2002,
title={Towards a constraint parser for categorial type logics},
author={Kuhlmann, Marco},
doi={http://dx.doi.org/10.22028/D291-25767},
year={2002}
}