Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan, Praveen Seshadri. The CORAL Deductive System. VLDB J., 3(2):161-210, 1994. [doi]
@article{RamakrishnanSSS94,
title = {The CORAL Deductive System},
author = {Raghu Ramakrishnan and Divesh Srivastava and S. Sudarshan and Praveen Seshadri},
year = {1994},
researchr = {https://researchr.org/publication/RamakrishnanSSS94},
cites = {0},
citedby = {0},
journal = {VLDB J.},
volume = {3},
number = {2},
pages = {161-210},
}