Christian Bessière Arc-Consistency for Non-Binary Dynamic CSPs. 23-27 1992 ECAI db/conf/ecai/ecai92.html#Bessiere92