Synthesizing Induction Orderings for Existence Proofs

@inproceedings{pub1588,
    author = {

Hutter, Dieter
},
    editor = {

Golumbic, M.C.
},
    title = {Synthesizing Induction Orderings for Existence Proofs},
    booktitle = {Proceedings of the Third International Symposium on Artificial Intelligence and Mathematics. International Symposium on Artificial Intelligence and Mathematics, 3rd, Fort Lauderdale, FL, United States},
    year = {1994}
}