Inferring Negative Information from Disjunctive Databases (1988)

by K A Ross, R W Topor
Venue:J. Automated Reasoning