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