Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan and Praveen Seshadri, "Implementation of the CORAL Deductive Database System"

[ACM SIGMOD] (1993) [ACM SIGMOD] Proceedings of the 1993 ACM SIGMOD Conference on Management of Data  

Languages mentioned CORAL {1993} Language for deductive database