Jönsson, Ari K. and
Ginsberg, Matthew L. 1996.
“Procedural Reasoning in Constraint Satisfaction.” in
KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci
Aiello, Jon
Doyle, and Stuart C.
Shapiro, pp. 160–171. San Francisco, California: Morgan Kaufmann Publishers.