D. Tajer, “Logic as a Puzzle-Solving Activity”, Anál. Filos., vol. 41, nº 1, p. 119–140, maio 2021.