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: the nu-prolog deductive database system. authors: k ramamohanarao , j shepherd , i balbin , g port , l. venue: halstead artificial intelligence series ,. year: 1989.0