Division of Informatics
Forrest Hill & 80 South Bridge
Documents on: pruning
PP411
1989 Paper in Conference Proceedings
Madden,P
the Specialization and Transformation of Constructive Existence Proofs