title: fast algorithms for universal quantification in large databases. authors: g graefe , r cole. venue: acm trans . database syst .. year: 1995
title: technique for universal quantification in sql .. authors: sigmod record , 1991. venue: sigmod record ,. year: 1991.0