BibTeX

@INPROCEEDINGS{ Bennett94KR,
     author = {Bennett, B.},
     title = {Spatial Reasoning with Propositional Logics},
     booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94)},
     year = {1994},
     editor = {Doyle, J and Sandewall, E and Torasso, P},
     address = {San Francisco, CA.},
     publisher = {Morgan Kaufmann},
     leeds_file = {KR94-BB.pdf},
     webref = {94b}
}