Truth maintenance

From Free net encyclopedia