Guillon, Pighizzini, Prigioniero, Průša, 2021. Weight-Reducing Turing Machines.