Rina Dechter Peter van Beek Local and Global Relational Consistency. 240-257 1995 conf/cp/1995 CP db/conf/cp/cp95.html#DechterB95 http://dx.doi.org/10.1007/3-540-60299-2_15