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: architecture and design of the eks deductive database system. authors: p bayer , a lefebvre , l vieille. venue: vldb journal ,. year: nan