LogicBase: A Deductive Database System Prototype.

Jiawei Han, Ling Liu, Zhaohui Xie

Browse the full CIKM paper archive.