The following publications are possibly variants of this publication:
- Automatic Hint Generation for Logic Proof Tutoring Using Historical DataTiffany Barnes, John C. Stamper. ETS, 13(1):3-12, 2010. [doi]
- A pilot study on logic proof tutoring using hints generated from historical student dataTiffany Barnes, John C. Stamper, Lorrie Lehman, Marvin J. Croy. edmcc 2008: 197-201 [doi]
- Experimental Evaluation of Automatic Hint Generation for a Logic TutorJohn C. Stamper, Michael Eagle, Tiffany Barnes, Marvin J. Croy. aied 2011: 345-352 [doi]
- Experimental Evaluation of Automatic Hint Generation for a Logic TutorJohn C. Stamper, Michael Eagle, Tiffany Barnes, Marvin J. Croy. aiedu, 22(1-2):3-17, 2013. [doi]
- Program Representation for Automatic Hint Generation for a Data-Driven Novice Programming TutorWei Jin, Tiffany Barnes, John C. Stamper, Michael John Eagle, Matt Johnson, Lorrie Lehmann. its 2012: 304-309 [doi]