CASL specifications of qualitative calculi (2005)

by S Wölfl, T Mossakowski
Venue:Spatial Information Theory: Cognitive and Computational Foundations, Proceedings of COSIT’05, LNCS 3693