Pascal Van Hentenryck Mehmet Dincbas Forward Checking in Logic Programming. 229-256 1987 ICLP db/conf/iclp/iclp87.html#HentenryckD87