Jiawei Han, Ling Liu, Zhaohui Xie: LogicBase: A System Prototype for Deductive Query Evaluation. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 146-160