Opening book details…
Dechter Constraint Processing by nani subr is a document available to read on EtoBox.