A Reversible Crumbling Abstract Machine for Plotkin's Call-by-Value. - Nicolò Pizzo; Claudio Sacerdoti Coen (CoRR, 2026)