Why Proof Planning for Maths Education and How?

@incollection{pub1967,
    author = {

Melis, Erica
},
    editor = {

Hutter, Dieter
 and 

Stephan, Werner
},
    title = {Why Proof Planning for Maths Education and How?},
    booktitle = {Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday},
    series = {LNCS},
    year = {2005},
    volume = {2605},
    pages = {364--376},
    publisher = {Springer-Verlag}
}