@incollection{Bennett94spatial,
	title = {{S}patial {R}easoning with {P}ropositional {L}ogics},
	address = {San Francisco, California},
	author = {Brandon Bennett},
	booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
	editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
	pages = {51--62},
	publisher = {Morgan Kaufmann},
	url = {http://citeseer.ist.psu.edu/bennett94spatial.html},
	year = {1994},
	biburl = {http://www.bibsonomy.org/bibtex/2e8f79fee62e673917f8e8eaff9331bbe/thau},
	keywords = {propositional-logic rcc }
}

@incollection{Bennett94spatial,
	title = {{S}patial {R}easoning with {P}ropositional {L}ogics},
	address = {San Francisco, California},
	author = {Brandon Bennett},
	booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
	editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
	pages = {51--62},
	publisher = {Morgan Kaufmann},
	url = {citeseer.ist.psu.edu/bennett94spatial.html},
	year = {1994},
	biburl = {http://www.bibsonomy.org/bibtex/2e8f79fee62e673917f8e8eaff9331bbe/zeno},
	keywords = {1994 intuitionistic logic propositional-logic qualitative-reasoning rcc spatial }
}