Deductive Database System based on Unit Resolution. - Haruo Yokota; Sko Sakai; Hidenori Itoh (ICDE, 1986)