Ari K. Jónsson Matthew L. Ginsberg Procedural Reasoning in Constraint Satisfaction. 160-171 1996 KR db/conf/kr/kr96.html#JonssonG96