Title: Constraints in Computational Logics : Theory and Applications
Subjects: Constraint programming (computer science), Logic programming