Reasoning about distances

From Tetherless World Wiki

\begin{bibtex} @inproceedings{DBLP:conf/ijcai/WolterZ03, title={Reasoning about distances}, pages={1275-1282}, year={2003}, crossref={DBLP:conf/ijcai/2003}, booktitle={IJCAI}, url={http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai2003.html#WolterZ03}, author={Frank Wolter and Michael Zakharyaschev} }\end{bibtex}