Weak generalized closed world assumption (1989)

by A Rajasekar, J Lobo, J Minker
Venue:J. Autom. Reasoning