Pat Fung, Tim O'Shea, Doug Goldson, Steve Reeves, Richard Bornat. Computer tools to teach formal reasoning. Computers & Education, 27(1):59-69, 1996. [doi]
@article{FungOGRB96,
title = {Computer tools to teach formal reasoning},
author = {Pat Fung and Tim O'Shea and Doug Goldson and Steve Reeves and Richard Bornat},
year = {1996},
doi = {10.1016/0360-1315(96)00016-4},
url = {http://dx.doi.org/10.1016/0360-1315(96)00016-4},
researchr = {https://researchr.org/publication/FungOGRB96},
cites = {0},
citedby = {0},
journal = {Computers & Education},
volume = {27},
number = {1},
pages = {59-69},
}