traces the A Truth Maintenance System

Open in new window