Dinucci, A.; Duarte, V.; Fontes, L. M.; Cabeceiras, A.; de Brito, R. P. Introdução à lògica Proposicional Estoica. PRO 2016.