@proceedings{'BosKohlhase2000ICoS',
   title     = {'ICoS-2, Workshop Proceedings. Inference in Computational Semantics'},
   author    = {Bos, Johan and 'Kohlhase', 'Michael'},
   address   = {'International Conference and Research Center for Computer Science, Schloss Dagstuhl'},
   year      = {2000}
}