Semi-qualitative reasoning about distances: A preliminary report (2000)

by H Sturm, N-Y Suzuki, F Wolter, M Zakharyaschev
Venue:of Lecture Notes in Computer Science