Bernard A. Nadel The Complexity of Constraint Satisfaction in Prolog. 33-39 1990 AAAI db/conf/aaai/aaai90.html#Nadel90