Weak generalized closed world assumption (1989)

by A Rajasekar, J Lobo, J Minker
Venue:Journal of Automated Reasoning