title: tail recursion elimination in deductive databases acm trans . database syst . 1996. authors: k ross. venue: nan. year: nan
title: reactive consistency control in deductive databases g moerkotte , pc lockemann acm transactions on database systems ,. authors: nan. venue: nan. year: 1991.0