title: xsb as a deductive database. authors: k sagonas , t swift , d warren. venue: sigmod conference. year: 1994
title: the coral deductive database system .. authors: acms anthology , p edition. venue: nan. year: nan