@misc{Blackburn:1999,
	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},
	biburl = {http://www.bibsonomy.org/bibtex/2fc6cfd8b67b81d0e682c0c6c7bad06a2/diego_ma},
	keywords = {DRT logic }
}