BibTeX

@INPROCEEDINGS{ Bennett95b,
     author = {Bennett, B.},
     title = {Towards a Decision Procedure for the {RCC} Theory of Spatial Regions},
     booktitle = {Proceedings of AISB95 workshop --- Automated Reasoning: bridging the gap between theory and practice},
     year = {1995},
     leeds_bib = {true},
     leeds_file = {AISB95-WS.ps},
     webref = {95b}
}