Compiling Rules and Queries in Knowledge Base Systems: A Substitution-Based Approach.

Jonghoon Chun, Lawrence J. Henschen

Browse the full SEKE paper archive.