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
title: deductive databases in action. authors: s tsur. venue: proceedings of the tenth acm sigact-sigmod-sigart symposium & hellip ; ,. year: 1991.0