@PHDTHESIS{ BennettThesis,
author = {Brandon Bennett},
title = {Logical Representations for Automated Reasoning about Spatial Relationships},
school = {School of Computing},
year = {1997},
address = {The University of Leeds},
note = {abstract and postscript at \url{http://www.scs.leeds.ac.uk/brandon/thesis.html}},
howpublished = {PhD thesis},
leeds_file = {Brandon-Bennett-PhD-thesis.pdf},
url = {http://www.scs.leeds.ac.uk/brandon/thesis.html}
}