Unified correspondence as a proof-theoretic tool - Greco, Giuseppe; Ma, Minghui; Palmigiano, Alessandra; Tzimoulis, Apostolos; Zhao, Zhiguang (Journal of logic and computation, 2018)