title: the aditi deductive database system. authors: j vaghani , k ramamohanarao , d kemp , z somogyi , p stuckey , t leask , j harland. venue: vldb j.. year: 1994.0
title: xsb as a deductive database proceedings of the 1994 acm sigmod international conference & hellip ; , 1994.0. authors: k sagonas , t swift , ds warren. venue: nan. year: nan