Emmanuel Chailloux Christian Codognet Philippe Codognet Finite Domain Constraints in the ML Functional Language. 784-787 1994 ICTAI db/conf/ictai/ictai1994.html#ChaillouxCC94