A proof theoretic view of constraint programming (1998)

by K R Apt
Venue:Fundamenta Informaticae