William R. Murray Automatic program debugging for intelligent tutoring systems. 1-16 1987 3 Computational Intelligence db/journals/ci/ci3.html#Murray87