Heuristic steps in logic tutoring systems
Networked Digital Library of Theses and Dissertations