@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},
keywords = {1994 intuitionistic logic propositional-logic qualitative-reasoning rcc spatial }
}
::