title: solving satisfiability and implication problems in database systems. authors: s guo , w sun , m weiss. venue: acm trans . database syst .. year: 1996
title: solving satisfiability and implication problems in database systems. authors: s guo , w sun , ma weiss. venue: acm transactions on database systems ,. year: 1996.0