Rina Dechter Avi Dechter Structure-Driven Algorithms for Truth Maintenance. 1-2 1996 82 Artif. Intell. 1-2 db/journals/ai/ai82.html#DechterD96 http://dx.doi.org/10.1016/0004-3702(94)00096-4