{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:17:24Z","timestamp":1762460244030,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T00:00:00Z","timestamp":1731369600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,11,12]]},"DOI":"10.1145\/3699538.3699551","type":"proceedings-article","created":{"date-parts":[[2024,11,13]],"date-time":"2024-11-13T20:49:22Z","timestamp":1731530962000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Parsons Problems for Equivalence Proofs in Logic"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-4104-5448","authenticated-orcid":false,"given":"Marten","family":"van den Berg","sequence":"first","affiliation":[{"name":"Computer Science Department, Open University of the Netherlands, Heerlen, Netherlands"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6647-6130","authenticated-orcid":false,"given":"Bastiaan","family":"Heeren","sequence":"additional","affiliation":[{"name":"Computer Science Department, Open University of the Netherlands, Heerlen, Netherlands"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1916-4024","authenticated-orcid":false,"given":"Ebrahim","family":"Rahimi","sequence":"additional","affiliation":[{"name":"Computer Science Department, Open University of the Netherlands, Heerlen, Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2024,11,13]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_3_2_2_2","DOI":"10.1109\/FIE.2005.1611917"},{"unstructured":"Rosemarie Anderson. 2007. Thematic content analysis (TCA). Descriptive presentation of qualitative data 3 (2007) 1\u20134.","key":"e_1_3_3_2_3_2"},{"doi-asserted-by":"publisher","unstructured":"Jens Bennedsen and Michael\u00a0E. Caspersen. 2007. Failure Rates in Introductory Programming. SIGCSE Bull. 39 2 (jun 2007) 32\u201336. 10.1145\/1272848.1272879https:\/\/dl.acm.org\/doi\/10.1145\/1272848.1272879","key":"e_1_3_3_2_4_2","DOI":"10.1145\/1272848.1272879"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_5_2","DOI":"10.5555\/1379249.1379253"},{"unstructured":"John Brooke. 1996. SUS: a quick and dirty usability scale. Usability evaluation in industry 189 3 (1996) 189\u2013194.","key":"e_1_3_3_2_6_2"},{"doi-asserted-by":"publisher","unstructured":"Ruth\u00a0Colvin Clark Frank Nguyen John Sweller and Melissa Baddeley. 2006. Efficiency in learning: Evidence-based guidelines to manage cognitive load. Performance Improvement 45 9 (2006) 46\u201347. 10.1002\/pfi.4930450920","key":"e_1_3_3_2_7_2","DOI":"10.1002\/pfi.4930450920"},{"doi-asserted-by":"crossref","unstructured":"Nelson Cowan. 2010. The Magical Mystery Four: How is Working Memory Capacity Limited and Why? Curr Dir Psychol Sci 19 1 (Feb. 2010) 51\u201357.","key":"e_1_3_3_2_8_2","DOI":"10.1177\/0963721409359277"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_9_2","DOI":"10.1145\/1404520.1404532"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_10_2","DOI":"10.1145\/3373165.3373187"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_11_2","DOI":"10.1145\/2632320.2632324"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_12_2","DOI":"10.1145\/2960310.2960342"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_13_2","DOI":"10.1145\/3571785.3574127"},{"doi-asserted-by":"crossref","unstructured":"Barbara\u00a0J Ericson Paul Denny James Prather Rodrigo Duran Arto Hellas Juho Leinonen Craig\u00a0S Miller Briana\u00a0B Morrison Janice\u00a0L Pearce and Susan\u00a0H Rodger. 2022. Parsons problems and beyond: Systematic literature review and empirical study designs. Proceedings of the 2022 Working Group Reports on Innovation and Technology in Computer Science Education (2022) 191\u2013234.","key":"e_1_3_3_2_14_2","DOI":"10.1145\/3571785.3574127"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_15_2","DOI":"10.1145\/2787622.2787731"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_16_2","DOI":"10.1145\/3141880.3141895"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_17_2","DOI":"10.1145\/3141880.3141895"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_18_2","DOI":"10.1145\/3159450.3162207"},{"unstructured":"George Goguadze. 2011. ActiveMath - generation and reuse of interactive exercises using domain reasoners and automated tutorial strategies. Ph.\u00a0D. Dissertation. Universit\u00e4t des Saarlandes Germany.","key":"e_1_3_3_2_19_2"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_20_2","DOI":"10.1145\/1352135.1352226"},{"doi-asserted-by":"crossref","unstructured":"John Hattie and Helen Timperley. 2007. The power of feedback. Review of educational research 77 1 (2007) 81\u2013112.","key":"e_1_3_3_2_21_2","DOI":"10.3102\/003465430298487"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_22_2","DOI":"10.1145\/3411764.3445292"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_23_2","DOI":"10.1109\/LaTiCE.2013.26"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_24_2","DOI":"10.1145\/3501385.3543977"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_25_2","DOI":"10.1145\/1822090.1822178"},{"doi-asserted-by":"crossref","unstructured":"Petri Ihantola and Ville Karavirta. 2011. Two-dimensional Parson\u2019s puzzles: The concept tools and first observations. Journal of Information Technology Education. Innovations in Practice 10 (2011) 119.","key":"e_1_3_3_2_26_2","DOI":"10.28945\/1394"},{"doi-asserted-by":"crossref","unstructured":"Raymond\u00a0W. Kulhavy and William\u00a0A. Stock. 1989. Feedback in written instruction: The place of response certitude. Educational Psychology Review 4 (1989) 279\u2013308.","key":"e_1_3_3_2_27_2","DOI":"10.1007\/BF01320096"},{"doi-asserted-by":"publisher","unstructured":"James\u00a0A. Kulik and J.\u00a0D. Fletcher. 2016. Effectiveness of Intelligent Tutoring Systems: A Meta-Analytic Review. Review of Educational Research 86 1 (2016) 42\u201378. 10.3102\/0034654315581420","key":"e_1_3_3_2_28_2","DOI":"10.3102\/0034654315581420"},{"key":"e_1_3_3_2_29_2","first-page":"93","volume-title":"Proceedings of the Fourth International Conference on Tools for Teaching Logic","author":"Lodder Josje","year":"2015","unstructured":"Josje Lodder, Bastiaan Heeren, and Johan Jeuring. 2015. A pilot study of the use of LogEx, lessons learned. In Proceedings of the Fourth International Conference on Tools for Teaching Logic, M. Antonia Huertas, Jo\u00e3o Marcos, Mar\u00eda Manzano, Sophie Pinchinat, and Fran\u00e7ois Schwarzentruber (Eds.). Presses Universitaires de Rennes, France, 93\u2013100. Fourth International Congress on Tools for Teaching Logic, TTL 2015 ; Conference date: 09-06-2015 Through 12-06-2015."},{"doi-asserted-by":"publisher","unstructured":"Jeroen J. G.\u00a0Van Merri\u00ebnboer. 1990. Strategies for Programming Instruction in High School: Program Completion vs. Program Generation. Journal of Educational Computing Research 6 3 (1990) 265\u2013285. 10.2190\/4NK5-17L7-TWQV-1EHL","key":"e_1_3_3_2_30_2","DOI":"10.2190\/4NK5-17L7-TWQV-1EHL"},{"key":"e_1_3_3_2_31_2","first-page":"125","volume-title":"Handbook of research on educational communications and technology","author":"Narciss Susanne","year":"2008","unstructured":"Susanne Narciss. 2008. Feedback strategies for interactive learning tasks. In Handbook of research on educational communications and technology. Routledge, 125\u2013143."},{"key":"e_1_3_3_2_32_2","series-title":"(ACE \u201906)","first-page":"157","volume-title":"Proceedings of the 8th Australasian Conference on Computing Education - Volume 52","author":"Parsons Dale","year":"2006","unstructured":"Dale Parsons and Patricia Haden. 2006. Parson\u2019s Programming Puzzles: A Fun and Effective Learning Tool for First Programming Courses. In Proceedings of the 8th Australasian Conference on Computing Education - Volume 52 (Hobart, Australia) (ACE \u201906). Australian Computer Society, Inc., AUS, 157\u2013163."},{"key":"e_1_3_3_2_33_2","first-page":"157","volume-title":"Proceedings of the 8th Australasian Conference on Computing Education-Volume 52","author":"Parsons Dale","year":"2006","unstructured":"Dale Parsons and Patricia Haden. 2006. Parson\u2019s programming puzzles: a fun and effective learning tool for first programming courses. In Proceedings of the 8th Australasian Conference on Computing Education-Volume 52. 157\u2013163."},{"key":"e_1_3_3_2_34_2","first-page":"83","volume-title":"Proceedings of the First International Conference on Design Science Research in Information Systems and Technology (DESRIST 2006), Claremont, CA, USA","author":"Peffers Ken","year":"2006","unstructured":"Ken Peffers, Tuure Tuunanen, Charles\u00a0E Gengler, Matti Rossi, Wendy Hui, Ville Virtanen, and Johanna Bragge. 2006. The design science research process: A model for producing and presenting information systems research. In Proceedings of the First International Conference on Design Science Research in Information Systems and Technology (DESRIST 2006), Claremont, CA, USA. 83\u2013106."},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_35_2","DOI":"10.1145\/3446871.3469741"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_36_2","DOI":"10.1145\/3502718.3524774"},{"doi-asserted-by":"publisher","unstructured":"Valerie\u00a0J. Shute. 2008. Focus on Formative Feedback. Review of Educational Research 78 1 (2008) 153\u2013189. 10.3102\/0034654307313795","key":"e_1_3_3_2_37_2","DOI":"10.3102\/0034654307313795"},{"key":"e_1_3_3_2_38_2","first-page":"237","volume-title":"Research on the teaching and learning of proof: Taking stock and moving forward","author":"Stylianides Gabriel\u00a0J.","year":"2016","unstructured":"Gabriel\u00a0J. Stylianides, Andreas\u00a0J. Stylianides, and Keith Weber. 2016. Research on the teaching and learning of proof: Taking stock and moving forward. National Council of Teachers of Mathematics, 237\u2013266."},{"doi-asserted-by":"publisher","unstructured":"John Sweller. 1988. Cognitive Load During Problem Solving: Effects on Learning. Cognitive Science 12 2 (1988) 257\u2013285. 10.1207\/s15516709cog1202_4","key":"e_1_3_3_2_39_2","DOI":"10.1207\/s15516709cog1202_4"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_40_2","DOI":"10.1145\/1089786.1089789"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_41_2","DOI":"10.1145\/3639474.3640051"},{"unstructured":"Kurt VanLehn. 2006. The behavior of tutoring systems. International journal of artificial intelligence in education 16 3 (2006) 227\u2013265.","key":"e_1_3_3_2_42_2"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_43_2","DOI":"10.1145\/2538862.2538930"},{"doi-asserted-by":"crossref","unstructured":"Keith Weber. 2001. Student Difficulty in Constructing Proofs: The Need for Strategic Knowledge. Educational Studies in Mathematics 48 1 (2001) 101\u2013119. http:\/\/www.jstor.org\/stable\/3483117","key":"e_1_3_3_2_44_2","DOI":"10.1023\/A:1015535614355"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_45_2","DOI":"10.1145\/3411764.3445228"},{"doi-asserted-by":"publisher","unstructured":"David Wood Jerome\u00a0S. Bruner and Gail Ross. 1976. The Role of Tutoring in Problem Solving. Journal of Child Psychology and Psychiatry 17 2 (1976) 89\u2013100. 10.1111\/j.1469-7610.1976.tb00381.x","key":"e_1_3_3_2_46_2","DOI":"10.1111\/j.1469-7610.1976.tb00381.x"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_47_2","DOI":"10.1145\/3587102.3588853"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_48_2","DOI":"10.1145\/3291279.3339419"}],"event":{"acronym":"Koli Calling '24","name":"Koli Calling '24: 24th Koli Calling International Conference on Computing Education Research","location":"Koli Finland"},"container-title":["Proceedings of the 24th Koli Calling International Conference on Computing Education Research"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3699538.3699551","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3699538.3699551","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:09:52Z","timestamp":1750295392000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3699538.3699551"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,12]]},"references-count":47,"alternative-id":["10.1145\/3699538.3699551","10.1145\/3699538"],"URL":"https:\/\/doi.org\/10.1145\/3699538.3699551","relation":{},"subject":[],"published":{"date-parts":[[2024,11,12]]},"assertion":[{"value":"2024-11-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}