Doug Goldson, Steve Reeves, Richard Bornat. A Review of Several Programs for the Teaching of Logic. Comput. J., 36(4):373-386, 1993.
@article{GoldsonRB93,
title = {A Review of Several Programs for the Teaching of Logic},
author = {Doug Goldson and Steve Reeves and Richard Bornat},
year = {1993},
tags = {logic programming, reviewing, teaching, logic},
researchr = {https://researchr.org/publication/GoldsonRB93},
cites = {0},
citedby = {0},
journal = {Comput. J.},
volume = {36},
number = {4},
pages = {373-386},
}