Rajeev Goré, Revantha Ramanayake. Valentini's Cut-Elimination for Provability Logic resolved. Rew. Symb. Logic, 5(2):212-238, 2012. [doi]
@article{GoreR12-2,
title = {Valentini's Cut-Elimination for Provability Logic resolved},
author = {Rajeev Goré and Revantha Ramanayake},
year = {2012},
doi = {10.1017/S1755020311000323},
url = {http://dx.doi.org/10.1017/S1755020311000323},
researchr = {https://researchr.org/publication/GoreR12-2},
cites = {0},
citedby = {0},
journal = {Rew. Symb. Logic},
volume = {5},
number = {2},
pages = {212-238},
}