Qualitative constraint calculi: Heterogeneous verification of composition tables (2007)

by S Wölfl, T Mossakowski, L Schröder
Venue:In Proceedings of the 20th International Florida Artificial Intelligence Research Society Conference (FLAIRS 2007