title: the aditi deductive database system kotagiri ramamohanarao , david b. kemp , jayen vaghani , tim s. leask , james harland , peter j. stuckey , zoltan somogyi 1994. authors: nan. venue: vldb j.. year: nan
title: the glue-nail deductive database system : design , implementation , and evaluation marcia a. derr , shinichi morishita , geoffrey phipps 1994. authors: nan. venue: the vldb journal -- the international journal on very large data bases. year: nan