Tractable constraints on ordered domains (1995)

by P G Jeavons, M C Cooper
Venue:Artif. Intell