title: an introduction to deductive database languages and systems. authors: k ramamohanarao , j harland. venue: vldb j.. year: 1994
title: glue-nail : a deductive database system. authors: g phipps , ma derr , ka ross. venue: nan. year: nan