title: xsb as a deductive database k sagonas , t swift , d warren sigmod conference 1994. authors: nan. venue: nan. year: nan
title: xsb as an efficient deductive database engine ( pp. 442â ?? 453 ) k sagonas , t swift , d warren. authors: nan. venue: proceedings of the 1994 acm sigmod , international conference & hellip ; ,. year: nan