title: the glue-nail deductive database system : design , implementation , and evaluation m derr , s morishita , g phipps vldb j. 1994. authors: nan. venue: nan. year: nan
title: the design and implementation of an extendible deductive database system j kiernan , e simon. authors: nan. venue: sigmod record ,. year: 1989.0