title: tail recursion elimination in deductive databases. authors: kenneth a. ross. venue: acm trans . database syst .. year: 1996
title: xsb as a deductive database. authors: konstantinos sagonas , terrance swift , david s. warren. venue: international conference on management of data. year: 1994