J. A. Amor, “A Structural Characterization of Extended Correctness-Completeness in Classical Logic”, CRHF, vol. 35, no. 103, pp. 69–82, Jan. 2019.