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: the design and implementation of a sequence database system praveen seshadri , miron livny , raghu ramakrishnan very large data bases. authors: nan. venue: nan. year: 1996.0