Explanation-Based Learning of Proof Plans (1989)

by R V Desimone
Venue:Also available as DAI Research Paper 304. Previous version in proceedings of EWSL-86