Ping-Yu Hsu Carlo Zaniolo A new User's Impressions on LDL++ and CORAL. 134-145 1993 Workshop on Programming with Logic Databases (Informal Proceedings), ILPS db/conf/deductive/deductive93.html#HsuZ93