Introducing Drools
Assumption-Based Truth Maintenance Systems Meir Kalech.
Assumption-Based Truth Maintenance Systems