BibTeX

@INPROCEEDINGS{ Bennett95carve1,
     author = {Bennett, B.},
     title = {Carving up Space: existential axioms for logical theories of spatial regions},
     booktitle = {Proceedings of IJCAI95 workshop on Spatial and Temporal Reasoning},
     year = {1995},
     leeds_file = {IJCAI95-WS.pdf},
     webref = {95a}
}