Zahava Scherz, Bruria Haberman. Logic programming based curriculum for high school students: the use of abstract data types. In Cary Laxer, Curt M. White, James E. Miller, Judith L. Gersting, editors, Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, 1995, Nashville, Tennessee, USA, March 2-4, 1995. pages 331-335, ACM, 1995. [doi]
Abstract is missing.