A Deductive Database Language Supporting ModulesExtending Deductive Database Languages by Embedded Implications
