MULTI: A Multi-Strategy Proof Planner

@inproceedings{pub1971,
    author = {

Meier, Andreas
 and 

Melis, Erica
},
    editor = {

Nieuwenhuis, R.
},
    title = {MULTI: A Multi-Strategy Proof Planner},
    booktitle = {Proceedings of the 20th Conference on Automated Deduction (CADE--20). International Conference on Automated Deduction (CADE), Tallinn},
    series = {LNAI},
    year = {2005},
    volume = {3632},
    pages = {250--254},
    address = {Tallinn, Estonia},
    publisher = {Springer Verlag, Berlin, Germany}
}