1. Building a deductive database;Nussbaum,1992
2. Deductive database systems and the DedGin∗ query evaluator;Veille,1989
3. Yet another deductive database implementation;Ling,1990
4. KB-PROLOG, a PROLOG for very large knowledge bases;Bocca,1989
5. Design overview of the NAIL! system;Morris,1986