Sobre o Uso de Verificações de Especificação de Distribuição em Modelos de Variáveis Dependentes Limitadas | Synapse