Constraint propagation, relational arithmetic in AI systems and mathematical programs
scientific article; zbMATH DE number 4158375