Chains of Inferences in Proof by Induction: A Cognitive Analysis. - Samuele Antonini; Bernardo Nannini (Perspectives on Deduction, 2024)