the distributed constraint satisfaction problem : formalization and algorithms .
A truth maintenance system