Range and Roots: two common patterns for specifying and propagating counting and occurrence constraints

From MaRDI portal
(Redirected from Publication:840817)