Return to Article Details Análise Formal de Conceitos Triádicos através da utilização de Diagramas Binários de Decisão Download Download PDF