Paul R. Cooper Michael J. Swain Arc Consistency: Parallelism and Domain Dependence. 207-235 1992 58 Artif. Intell. 1-3 db/journals/ai/ai58.html#CooperS92 http://dx.doi.org/10.1016/0004-3702(92)90008-L