title: the coral deductive system. authors: r ramakrishnan , d srivastava , s sudarshan , p seshadri. venue: vldb j.. year: 1994
title: sudarshan , \ \ the coral deductive database system , '' ibid. authors: r ramakrishnan , s seshadri. venue: nan. year: nan