title: tail recursion elimination in deductive databases. authors: k ross. venue: acm trans . database syst .. year: 1996
title: constraints for query optimization in deductive databases. authors: j harland , k ramamohanarao. venue: nan. year: nan