Lopes, Bruno, Englander, Cecília, Lobo, Fernanda, E Cruz, Marcela. " Revisiting the proof theory of Classical S4" O que nos faz pensar [Online], Volume 25 Número 39 (30 December 2016)