Ternovska, n.d.. An Algebra of Combined Constraint Solving, in: . EasyChair.. https://doi.org/10.29007/976n