Truth maintenance systems
Redirect to:
Reason maintenance