Division of Informatics
Forrest Hill & 80 South Bridge
Documents on: proof-planning
RP745
1995 Research Paper
Lowe,H
;
Bundy,A
; McLean,D
The Use of Proof Planning for Cooperative Theorem Proving