Failure Reasoning in Multiple-Strategy Proof Planning

@inproceedings{pub1946,
    author = {

Meier, Andreas
 and 

Melis, Erica
},
    editor = {

Bonacina, M.P.
 and 

Tour, T. Boy de la
},
    title = {Failure Reasoning in Multiple-Strategy Proof Planning},
    booktitle = {Proceedings of Workshop ``Strategies in Automated Deduction'' at the Second International Joint Conference on Automated Reasoning (IJCAR2004). International Joint Conference on Automated Reasoning (IJCAR), Cork},
    year = {2004},
    month = {7},
    pages = {93--105},
    address = {Cork, Ireland}
}