Subsumption and implication (1987)

by G Gottlob
Venue:Information Processing Letters