title: optimizing queries with universal quantification in object-oriented and object-relational databases. authors: guido moerkotte , jens claußen , klaus peithner , alfons kemper. venue: vldb. year: 1997
title: fast algorithms for universal quantification in large databases. authors: goetz graefe , richard l. cole. venue: acm transactions on database systems ( tods ). year: 1995