Inferring Negative Information from Disjunctive Databases, .I. Automated Reasoning (1988)

by K A Ross, R W Topor