When is Closed World Reasoning Tractable (1988)

by J S Schlipf
Venue:Proceedings of the 3rd International Symposium on Methodology for Intelligent Systems