Constraint Processing by Rina Dechter, Morgan Kaufmann Publishers, 2003, hard cover: ISBN 1-55860-890-7, xx + 481 pages. - Roland H. C. Yap (Theory & Practice of Logic Programming, 2004)