Jonghoon Chun, Lawrence J. Henschen. Compiling Rules and Queries in Knowledge Base Systems: A Substitution-Based Approach. In SEKE 92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy. pages 109-115, Knowledge Systems Institute, 1992. [doi]
Abstract is missing.