A Recurrence-type Strong Borel–Cantelli Lemma for Axiom A Diffeomorphisms - Alejandro Rodriguez Sponheimer (2023)