Constraint Reasoning for Differential Models (Frontiers in Artificial Intelligence and Applications) | lit.salon