Where exactly are the difficulties in reasoning logically about code? experimentation with an online system. - Michelle Cook; Megan Fowler; Jason O. Hallstrom; Joseph E. Hollingsworth; Tim Schwab; Yu-Shan Sun; Murali Sitaraman (ITiCSE, 2018)

BeginToReason: An Introduction to Symbolic Reasoning (Abstract Only). - Megan Fowler; Tim Schwab (SIGCSE, 2018)

BeginToReason: Understanding the Purpose of Code. - Megan Fowler; Tim Schwab (ACM SIGSOFT Softw. Eng. Notes, 2018)

Impact of Steps, Instruction, and Motivation on Learning Symbolic Reasoning Using an Online Tool. - Megan Fowler; Michelle Cook; Kevin Plis; Tim Schwab; Yu-Shan Sun; Murali Sitaraman; Jason O. Hallstrom; Joseph E. Hollingsworth (SIGCSE, 2019)