Tiffany Barnes, John C. Stamper. Automatic Hint Generation for Logic Proof Tutoring Using Historical Data. Educational Technology & Society, 13(1):3-12, 2010. [doi]
@article{BarnesS10,
title = {Automatic Hint Generation for Logic Proof Tutoring Using Historical Data},
author = {Tiffany Barnes and John C. Stamper},
year = {2010},
url = {http://www.ifets.info/abstract.php?art_id=1013},
researchr = {https://researchr.org/publication/BarnesS10},
cites = {0},
citedby = {0},
journal = {Educational Technology & Society},
volume = {13},
number = {1},
pages = {3-12},
}