db/conf/cikm/HanLX94.html Jiawei Han Ling Liu Zhaohui Xie LogicBase: A Deductive Database System Prototype. 226-233 CIKM1994/P226.pdf 1994 conf/cikm/94 CIKM db/conf/cikm/cikm94.html#HanLX94 http://doi.acm.org/10.1145/191246.191285