title: solving satisfiability and implication problems in database systems sha guo , mark allen weiss , wei sun acm trans . database syst . 1996. authors: nan. venue: nan. year: nan
title: solving satisfiability and implication problems in database systems. authors: sha guo , wei sun , mark a. weiss. venue: acm transactions on database systems ( tods ). year: 1996.0