On satisfiability, equivalence, and implication problems involving conjunctive queries in database systems (1996)

by S Guo, W Sun, M Weiss
Venue:IEEE Transactions on Knowledge and Data Engineering