Jose L. Cordova. Mathematical proofs as graph search problems in theory courses. In Jane Prey, Robert E. Noonan, editors, Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999, New Orleans, Louisiana, USA, March 14-28, 1999. pages 110-113, ACM, 1999. [doi]
Abstract is missing.