Youssef Hamadi Christian Bessière Joël Quinqueton Distributed Intelligent Backtracking. 219-223 1998 ECAI db/conf/ecai/ecai98.html#HamadiBQ98