title: tail recursion elimination in deductive databases acm trans . database syst . 1996. authors: k ross. venue: nan. year: nan
title: classification of recursive formulas in deductive databases c youn , lj henschen , j han. authors: nan. venue: nan. year: nan