title: binding propagation in disjunctive databases. authors: s greco. venue: vldb. year: 1998
title: tail recursion elimination in deductive databases. authors: ka ross. venue: acm transactions on database systems ,. year: 1996.0