title: the aditi deductive database system. authors: j vaghani , k ramamohanarao , d kemp , z somogyi , p stuckey , t leask , j harland. venue: vldb j.. year: 1994.0
title: the coral deductive system r ramakrishnan , d srivastava , s sudarshan , p. authors: nan. venue: the vldb journal the international journal on very large & hellip ; ,. year: 1994.0