Calculating constraints on relational expression

From MaRDI portal
Publication:3883573