Reyes, M.; Perez, C.; Upchurch, R.; Yuen, T.; Zhang, Y. Using Declarative Programming in an Introductory Computer Science Course for High School Students. AAAI 2016, 30.