@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}
}