Norman Neff. A logic programming environment for teaching mathematical concepts of computer science. In Bruce J. Klein, Cary Laxer, Frank H. Young, editors, Proceedings of the 24th SIGCSE Technical Symposium on Computer Science Education, 1993, Indianapolis, Indiana, USA, February 18-19, 1993. pages 20-24, ACM, 1993. [doi]
Abstract is missing.