Proceedings-Artikel
Synthesizing Induction Orderings for Existence Proofs
Dieter Hutter
In: Alan Bundy (Hrsg.). Proceedings of the 12th International Conference on Automated Deduction. Nancy, France, Pages 29-41, Springer-Verlag, LNAI 814, 1994.