@inproceedings{'BlackburnBosKohlhase1999Tbilisi',
   title     = {'Automated Reasoning for Computational Semantics'},
   author    = {Blackburn, Patrick and Bos, Johan and 'Kohlhase', 'Michael'},
   booktitle = {'The Third International Tbilisi Symposium on Language, Logic and Computation'},
   address   = {'Batumi, Georgia'},
   year      = {1999}
}