Truth maintenance systems

From Free net encyclopedia