Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables.

Stefan Wlfl, Till Mossakowski, Lutz Schrder

Browse the full FlAIRS paper archive.