title: xsb as a deductive database k sagonas , t swift , d warren sigmod conference 1994. authors: nan. venue: nan. year: nan
title: glue-nail : a deductive database system. authors: g phipps , ma derr , ka ross. venue: nan. year: nan