title: tail recursion elimination in deductive databases. authors: k ross. venue: acm trans . database syst .. year: 1996
title: bottom-up query evaluation in extended deductive databases. authors: s brass. venue: nan. year: nan