Synthesis of Induction Orderings for Existence Proofs.

Dieter Hutter

Browse the full CADE paper archive.