title = {Automated Reasoning for Computational Semantics},
author = {Patrick Blackburn and Johan Bos and Michael Kohlhase}, note = {Draft of the paper at the Third International Tbilisi Symposium}, url = {http://www.coli.uni-sb.de/{\~{}}bos/atp/doris-pubs.html}, year = {1999},
keywords = {DRT logic }
::