arXiv 2001-06-07 EN Computing Functional and Relational Box Consistency by Structured Propagation in Atomic Constraint Systems van Emden, M. H.
