Synthesizing Induction Orderings for Existence Proofs

@inproceedings{pub1589,
    author = {

Hutter, Dieter
},
    editor = {

Bundy, Alan
},
    title = {Synthesizing Induction Orderings for Existence Proofs},
    booktitle = {Proceedings of the 12th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-1994), 12th, June 26-July 1, Nancy, France},
    series = {Lecture Notes in Artificial Intelligence (LNAI)},
    year = {1994},
    volume = {814},
    pages = {29--41},
    publisher = {Springer}
}