Ilya B. Shapirovsky: Glivenko's Theorem, Finite Height, and Local Tabularity. FLAP 8(8): 2333-2348 (2021)