A Review of Several Programs for the Teaching of Logic

Doug Goldson, Steve Reeves, Richard Bornat. A Review of Several Programs for the Teaching of Logic. Comput. J., 36(4):373-386, 1993.