PI-DDBS: A Deductive Data Base System Based on C-PROLOG and INGRES. - Zhu Yi-fen; Li Mei; Chen Fu-an (DEXA, 1992)