Adaptation of declaratively represented methods in proof planning (1995)

by X Huang, M Kerber, L Cheikhrouhou
Venue:SEKI Report SR-95-12, Fachbereich Informatik, Universit at des Saarlandes