publicações selecionadas Verificação por Equivalência com Aceleração por Largura e Aprendizado de Cláusulas de Conflito