A Decision Procedure for Conjunctive Query Disjointness.

Charles Elkan

Browse the full PODS paper archive.