A Non Exhaustive Search of Exhaustiveness. - Letícia Kristian Silva Cecotti; Maurício Dorneles Caldeira Balboni; Oscar Emilio Arrúa Arce; Karina dos Santos Machado; Adriano Velasque Werhli (BSB, 2022)