Deriving Modular Programs from Short Proofs.

Uwe Egly, Stephan Schmitt

Browse the full CADE paper archive.