Oren Etzioni, Keith Golden, and Dan Weld.  <a href="http://www.cs.washington.edu/research/projects/ai/www/xii.html"> Tractable closed-world reasoning with updates.</a>  In <EM> Proc. 4th Int. Conf. on Principles of Knowledge   Representation and Reasoning</EM>, pages 178--189, 1994.</P>
