Maarten H. van Emden Computing Functional and Relational Box Consistency by Structured Propagation in Atomic Constraint Systems http://arxiv.org/abs/cs.PL/0106008 2001 CoRR cs.PL/0106008 db/journals/corr/corr0106.html#cs-PL-0106008 informal publication