L. Cecotti, M. Balboni, O. Arce, K. Machado, and A. Werhli. " A Non Exhaustive Search of Exhaustiveness", in Anais do XV Simpósio Brasileiro de Bioinformática, Búzios/RJ, 2022, pp. 97-108.