A Theoretical Framework for Consistency Techniques in Logic Programming.

Pascal Van Hentenryck A Theoretical Framework for Consistency Techniques in Logic Programming. 2-8 1987 IJCAI db/conf/ijcai/ijcai87.html#Hentenryck87