Substitution-based Compilation of Extended Rules in Deductive Databases.

Sang Ho Lee, Lawrence J. Henschen

Browse the full CADE paper archive.