An Explanation-Based-Learning Approach to Knowledge Compilation: A Pilot's Associate Application. - Keith R. Levi; David L. Perschbacher; Mark A. Hoffman; Christopher A. Miller 001; Barry B. Druhan; Valerie L. Shalin (IEEE Expert, 1992)