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