Stefan Wölfl, Till Mossakowski, Lutz Schröder. Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. In David Wilson, Geoff Sutcliffe, editors, Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, May 7-9, 2007, Key West, Florida, USA. pages 665, AAAI Press, 2007.
Abstract is missing.