Scaling up Logic-Based Truth Maintenance Systems via Fact Garbage Collection.

John O. Everett, Kenneth D. Forbus

Browse the full AAAI paper archive.