M. Reyes, C. Perez, R. Upchurch, T. Yuen, and Y. Zhang, “Using Declarative Programming in an Introductory Computer Science Course for High School Students”, AAAI, vol. 30, no. 1, Mar. 2016.