F. Pereira, P. Rezende, and C. Souza. "A Computational Study of the Perfect Awareness Problem", in Anais do XXXV Concurso de Teses e Dissertações, Niterói, 2022, pp. 140-149, doi: https://doi.org/10.5753/ctd.2022.222955.