Using Declarative Programming in an Introductory Computer Science Course for High School Students. - Maritza Reyes; Cynthia Perez; Rocky Upchurch; Timothy T. Yuen; Yuanlin Zhang 002 (AAAI, 2016)