Teaching Natural Deduction in the Right Order with Natural Deduction Planner

https://declanthompson.github.io/publication/thompson-teaching-2017/