Dominik Klumpp, Jandson S. Ribeiro: Walking the Tightrope between Expressiveness and Uncomputability: AGM Contraction beyond the Finitary Realm. NMR 2024: 34-43