D. Tajer, “Logic as a Puzzle-Solving Activity”, Anál. Filos., vol. 41, no. 1, pp. 119–140, May 2021.