Impasse-Driven Reasoning in Proof Planning

@inproceedings{pub1979,
    author = {

Meier, Andreas
 and 

Melis, Erica
},
    editor = {

Kohlhase, Michael
},
    title = {Impasse-Driven Reasoning in Proof Planning},
    booktitle = {Proceedings of the Fourth International Conference on Mathematical Knowledge Management (MKM2005). International Conference on Mathematical Knowledge Management (MKM), Bremen},
    series = {LNAI},
    year = {2006},
    volume = {3863},
    pages = {143--158},
    address = {Bremen, Germany},
    publisher = {Springer Verlag, Berlin, Germany}
}