Alan M. Frisch Solving Constraint Satisfaction Problems with NB-Resolution. 105-120 1999 3 Electron. Trans. Artif. Intell. B http://www.ep.liu.se/ej/etai/1999/006/ db/journals/etai/etai3.html#Frisch99