publicações selecionadas Uma Abordagem de Arquitetura Paralela para Suporte na Extração de Conceitos Formais