Deductive Database System based on Unit Resolution.

Haruo Yokota, Sko Sakai, Hidenori Itoh

Browse the full ICDE paper archive.