More Church-Rosser Proofs in BELUGA. - Alberto Momigliano; Martina Sassella (LSFA/HCVS, 2023)