R. Ramanayake: "Inducing syntactic cut-elimination for indexed nested sequents."; Logical Methods in Computer Science, 14 (2018), 1 - 25.