@INPROCEEDINGS{Hustadt+Tishkovsky+Wolter+Zakharyaschev@JELIA2006,
 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) [Liverpool, UK, 13-15 September 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},
 URL           = {http://dx.doi.org/10.1007/11853886_44},
 ABSTRACT = {In this paper we compare two approaches to automated
 reasoning about metric and topology in the framework of the logic MT
 introduced in [10].  MT-formulas are built from set variables
 p1,p2,... (for arbitrary subsets of a metric space) using the Booleans
 conjunction, disjunction, implication, and negation, distance
 operators, and topological interior and closure operators I and C.}
}