Krzysztof R. Apt Some Remarks on Boolean Constraint Propagation. 91-107 http://link.springer.de/link/service/series/0558/bibs/1865/18650091.htm 1999 conf/compulog/1999 New Trends in Constraints db/conf/compulog/compulog1999.html#Apt99