An assumption-based truth maintenance system

Open in new window