%0 Journal Article %1 journals/corr/SeligmanT15 %A Seligman, Jeremy %A Thompson, Declan %D 2015 %J CoRR %K dblp %T Teaching natural deduction in the right order with Natural Deduction Planner. %U http://dblp.uni-trier.de/db/journals/corr/corr1507.html#SeligmanT15 %V abs/1507.03681

@article{journals/corr/SeligmanT15, added-at = {2018-08-13T00:00:00.000+0200}, author = {Seligman, Jeremy and Thompson, Declan}, biburl = {https://www.bibsonomy.org/bibtex/267f4bf86442991db449f9237d7ab3431/dblp}, ee = {http://arxiv.org/abs/1507.03681}, interhash = {adf3763195a1d0577324af51e903797b}, intrahash = {67f4bf86442991db449f9237d7ab3431}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T14:35:47.000+0200}, title = {Teaching natural deduction in the right order with Natural Deduction Planner.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1507.html#SeligmanT15}, volume = {abs/1507.03681}, year = 2015 }