Inferring negative information from disjunctive databases (1988)

by Kenneth A Ross, Rodney W Topor
Venue:J. Autom. Reason