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