From GTC to \textsc{Reset}: generating reset proof systems from cyclic proof systems
scientific article; zbMATH DE number 7894018
scientific article