title: solving satisfiability and implication problems in database systems. authors: sha guo , mark allen weiss , wei sun. venue: acm trans . database syst .. year: 1996
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