Tractable closed-world reasoning with updates (1994)

by O Etzioni, K Golden, D Weld
Venue:In Fourth International Conference on Principles of Knowledge Representation and Reasoning