The Specialization and Transformation of Constructive Existence Proofs.

Peter Madden

Browse the full IJCAI paper archive.