T.: Arc and path consistency revisited (1986)

by R Mohr, Henderson
Venue:Artificial Intelligence