@INPROCEEDINGS{HTWZ2006,
 AUTHOR        = {Hustadt, U. and Tishkovsky, D. and Wolter, F. and Zakharyaschev, M.},
 TITLE         = {Automated reasoning about metric and topology},
 BOOKTITLE     = {Proceedings of the 10th European Conference on Logics in Artificial Intelligence
(JELIA 2006)},
 YEAR          = {2006},
 EDITOR        = {Fisher, M. and van der Hoek, Wiebe and Konev, B. and Lisitsa, A.},
 PAGES         = {490--493},
 PUBLISHER     = {Springer},
 CADDRESS      = {Liverpool, UK},
 CYEAR         = {2006},
 CMONTH        = sep # {~13--15},
 SERIES        = {LNAI},
 VOLUME        = {4160},
}