Ananias, Kaio, Julio C. V. Neves, Luis E. Zárate, and Mark A. J. Song. " Análise Formal de Conceitos Triádicos através da utilização de Diagramas Binários de Decisão." Anais do VI Symposium on Knowledge Discovery, Mining and Learning, São Paulo/SP, 2018. SBC, 2018, pp.9-16.