title: the coral deductive system. authors: r ramakrishnan , d srivastava , s sudarshan , p seshadri. venue: vldb j.. year: 1994
title: the rhet system. authors: jf allen. venue: acm sigart bulletin ,. year: 1991.0