Truth-maintenance systems