Division of Informatics
Forrest Hill & 80 South Bridge
Documents on: tactics
JP28
1991 Journal Paper
Bundy,A
; van Harmelen,F;
Hesketh,J
;
Smaill,AD
Experiments with Proof Plans for Induction