Division of Informatics
Forrest Hill & 80 South Bridge
Documents on: rippling
PP236
1992 Paper in Conference Proceedings
Bundy,A
;
Walsh,T
;
Nunes,A
the Use of Proof Plans to Sum Series