Constraint satisfaction in logic programming - Van Hentenryck, Pascal 1963- (MIT Press, 1989)
Teilw. zugl.: Namur, Univ., Diss., 1987