Constraint satisfaction using constraint logic programming

Artificial Intelligence - Tập 58 Số 1-3 - Trang 113-159 - 1992