Failure-Reasoning in Multi-Strategy Proof Planning

@inproceedings{pub1969,
    author = {

Meier, Andreas
 and 

Melis, Erica
},
    title = {Failure-Reasoning in Multi-Strategy Proof Planning},
    booktitle = {Proceedings of The 12th Workshop on Automated Reasoning (ARW 2005)-- Bridging the gap between theory and practice. Workshop on Automated Reasoning (ARW), Edinburgh},
    year = {2005},
    address = {Edinburgh, Scotland}
}