Tractable closed-world reasoning with updates (1994)

by O Etzioni, K Golden, D Weld
Venue:In Proc. 4th Int. Conf. on Principles of Knowledge Representation and Reasoning