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 satisfiability problems in database systems acm transactions on database systems ,. authors: s guo , w sun , ma weiss. venue: nan. year: nan