Explanation-based learning of proof plans (1989)

by R V Desimone
Venue:Proceedings of European Working Session on Learning, EWSL-86