Ullrich Hustadt Dmitry Tishkovsky Frank Wolter Michael Zakharyaschev Automated Reasoning About Metric and Topology. 490-493 2006 conf/jelia/2006 JELIA http://dx.doi.org/10.1007/11853886_44 db/conf/jelia/jelia2006.html#HustadtTWZ06