T.C.: Arc and path consistency revisited (1986)

by R Mohr, Henderson
Venue:225–233 3rd Hellenic Conference on Artificial Intelligence (SETN 2004) 327