title: solving satisfiability and implication problems in database systems s guo , w sun , m weiss 1996. authors: nan. venue: acm trans . database syst .. year: nan
title: solving implication problems m database apphcations xh sun , n kamel , l ni. authors: nan. venue: proceedings of the acm sigmod international conference on. year: nan