Coisa julgada com eficácia interna e externa: uma proposta de reconstrução da clássica distinção entre a coisa julgada formal e a material = Res judicata with internal and external effectiveness: a proposal to reconstruct the classic distinction between formal and material res judicata - Cavalcanti, Marcos de Araújo (2020)