@inproceedings(ahmadzadeh2005analysis,
 author       = {Marzieh Ahmadzadeh and Dave Elliman and Colin Higgins},
 year         = {2005},
 title        = {An analysis of patterns of debugging among novice computer science students},
 booktitle    = {Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education},
 pages        = {84--88},
 doi          = {10.1145/1067445.1067472},
)
@inproceedings(BalaiGZ13,
 author       = {Evgenii Balai and Michael Gelfond and Yuanlin Zhang},
 year         = {2013},
 title        = {Towards Answer Set Programming with Sorts},
 booktitle    = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference, {LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
 pages        = {135--147},
 doi          = {10.1007/978-3-642-40564-8_14},
)
@inproceedings(brain2005debugging,
 author       = {Martin Brain and De Vos, Marina},
 year         = {2005},
 title        = {Debugging Logic Programs under the Answer Set Semantics.},
 booktitle    = {Answer Set Programming},
)
@article(virginia06,
 author       = {Virginia Braun and Victoria Clarke},
 year         = {2006},
 title        = {Using thematic analysis in psychology},
 journal      = {Qualitative Research in Psychology},
 volume       = {3},
 pages        = {77--101},
 doi          = {10.1191/1478088706qp063oa},
)
@article(brewka2011answer,
 author       = {Gerhard Brewka and Thomas Eiter and Miros{\l}aw Truszczy{\'n}ski},
 year         = {2011},
 title        = {Answer set programming at a glance},
 journal      = {Communications of the ACM},
 volume       = {54},
 number       = {12},
 pages        = {92--103},
 doi          = {10.1145/2043174.2043195},
)
@misc(sparcManual,
 author       = {Balai Evgenii},
 year         = {2020},
 title        = {{SPARC Manual}},
 howpublished = {\url{https://github.com/iensen/sparc/blob/master/User_Manual/Sparc_Manual.pdf}, retrieved August 2020},
)
@book(GelK14,
 author       = {Michael Gelfond and Yulia Kahl},
 year         = {2014},
 title        = {Knowledge Representation, Reasoning, and the Design of Intelligent Agents},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781139342124},
)
@inproceedings(gomes2007learning,
 author       = {Anabela Gomes and Ant{\'o}nio Jos{\'e} Mendes},
 year         = {2007},
 title        = {Learning to program-difficulties and solutions},
 booktitle    = {International Conference on Engineering Education--ICEE},
 volume       = {2007},
)
@inproceedings(guo2015codechella,
 author       = {Philip J Guo and Jeffery White and Renan Zanelatto},
 year         = {2015},
 title        = {Codechella: Multi-user program visualizations for real-time tutoring and collaborative learning},
 booktitle    = {2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)},
 organization = {IEEE},
 pages        = {79--87},
 doi          = {10.1109/VLHCC.2015.7357201},
)
@article(hristova2003identifying,
 author       = {Maria Hristova and Ananya Misra and Megan Rutter and Rebecca Mercuri},
 year         = {2003},
 title        = {Identifying and correcting Java programming errors for introductory computer science students},
 journal      = {ACM SIGCSE Bulletin},
 volume       = {35},
 number       = {1},
 pages        = {153--156},
 doi          = {10.1145/792548.611956},
)
@book(k2016k,
 author       = {{K-12 Computer Science Framework Steering Committee}},
 year         = {2016},
 title        = {K-12 computer science framework},
 publisher    = {ACM},
)
@article(MarcopoulosZ19,
 author       = {Elias Marcopoulos and Yuanlin Zhang},
 year         = {2019},
 title        = {{onlineSPARC}: {A} Programming Environment for Answer Set Programming},
 journal      = {Theory Pract. Log. Program.},
 volume       = {19},
 number       = {2},
 pages        = {262--289},
 doi          = {10.1017/S1471068418000509},
)
@incollection(mendelsohn1990programming,
 author       = {Patrick Mendelsohn and TRG Green and Paul Brna},
 year         = {1990},
 title        = {Programming languages in education: The search for an easy start},
 booktitle    = {Psychology of programming},
 publisher    = {Elsevier},
 pages        = {175--200},
 doi          = {10.1016/B978-0-12-350772-3.50016-1},
)
@misc(nsf2018,
 author       = {{NSF}},
 year         = {2018},
 title        = {{ STEM+C Program}},
 howpublished = {\url{https://www.nsf.gov/funding/pgm_summ.jsp?pims_id=505006}, retrieved on October 10 2018},
)
@article(piaget1972intellectual,
 author       = {Jean Piaget},
 year         = {1972},
 title        = {Intellectual evolution from adolescence to adulthood},
 journal      = {Human development},
 volume       = {15},
 number       = {1},
 pages        = {1--12},
 doi          = {10.1159/000271225},
)
@misc(stemLaw2015,
 author       = {{STEM education act}},
 year         = {2015},
 title        = {{ Public Law No: 114-59}},
)
@article(swaid2015bringing,
 author       = {Samar I Swaid},
 year         = {2015},
 title        = {Bringing computational thinking to STEM education},
 journal      = {Procedia Manufacturing},
 volume       = {3},
 pages        = {3657--3662},
 doi          = {10.1016/j.promfg.2015.07.761},
)
@book(vygotsky1987collected,
 author       = {Lev S Vygotsky and Lev Seminovitch Vygotski},
 year         = {1987},
 title        = {The collected works of LS Vygotsky: Volume 1: Problems of general psychology, including the volume Thinking and Speech},
 volume       = {1},
 publisher    = {Springer Science \& Business Media},
)
@article(YuenRZ19,
 author       = {Timothy T. Yuen and Maritza Reyes and Yuanlin Zhang},
 year         = {2019},
 title        = {Introducing Computer Science to High School Students Through Logic Programming},
 journal      = {Theory Pract. Log. Program.},
 volume       = {19},
 number       = {2},
 pages        = {204--228},
 doi          = {10.1017/S1471068418000431},
)
@inproceedings(zhang,
 author       = {Yuanlin Zhang and Jianlan Wang and Fox Bolduc and William G. Murray},
 year         = {2019},
 title        = {LP Based Integration of Computing and Science Education in Middle Schools},
 booktitle    = {Proceedings of the ACM Conference on Global Computing Education},
 series       = {CompEd '19},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {44–50},
 doi          = {10.1145/3300115.3309512},
)
@inproceedings(ZhangWBMS19,
 author       = {Yuanlin Zhang and Jianlan Wang and Fox Bolduc and William G. Murray and Wendy Staffen},
 year         = {2019},
 title        = {A Preliminary Report of Integrating Science and Computing Teaching Using Logic Programming},
 booktitle    = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI} 2019, Honolulu, Hawaii, USA, 2019},
 publisher    = {{AAAI} Press},
 pages        = {9737--9744},
 doi          = {10.1609/aaai.v33i01.33019737},
)