Keith R. Levi, David L. Perschbacher, Mark A. Hoffman, Christopher A. Miller, Barry B. Druhan, Valerie L. Shalin. An Explanation-Based-Learning Approach to Knowledge Compilation: A Pilot s Associate Application. IEEE Intelligent Systems, 7(3):44-51, 1992. [doi]
Abstract is missing.