@Incollection{Bennett94spatial, author = {Brandon Bennett}, title = {Spatial Reasoning with Propositional Logics}, year = {1994}, number = {}, url = {citeseer.ist.psu.edu/bennett94spatial.html}, const = {\ text} }