Christian Bessière Pedro Meseguer Eugene C. Freuder Javier Larrosa On Forward Checking for Non-binary Constraint Satisfaction. 88-102 1999 conf/cp/1999 CP db/conf/cp/cp99.html#BessiereMFL99