title: tail recursion elimination in deductive databases acm trans . database syst . 1996. authors: k ross. venue: nan. year: nan
title: space optimization in deductive databases a baltrunas , d srivastava , s sudarshan , r. authors: nan. venue: acm transactions on database systems ,. year: 1995.0