Amitabh Saran Keith K. Park Yongmao Chen Ana Paula de Aguiar Terence R. Smith Jianwen Su Developing Applications with CORAL. 87-96 1993 Workshop on Programming with Logic Databases (Informal Proceedings), ILPS db/conf/deductive/deductive93.html#SaranPCASS93