Before revision: They are: Support List [SL] Conceptual Dependencies (CP) Many kinds of truth maintenance systems exist.
After revision: They are: Support List [SL] Conditional Proof (CP) Many kinds of truth maintenance systems exist.