Adaptable Mixed-Initiative Proof Planning for Educational Interaction

@article{pub1945,
    author = {

Meier, Andreas
 and 

Melis, Erica
 and 

Pollet, Martin
},
    title = {Adaptable Mixed-Initiative Proof Planning for Educational Interaction},
    year = {2004},
    month = {12},
    volume = {103},
    number = {C},
    pages = {105--120},
    journal = {Electronic Notes in Theoretical Computer Science},
    publisher = {Elsevier}
}