Lopes, B., Englander, C., Lobo, F., & Cruz, M. 2016 Dec 30. Revisiting the proof theory of Classical S4. O que nos faz pensar. [Online] 25:39