@mastersthesis{mastersthesis1add1024,
title   = {Problem-solving techniques in infinite graphs},
author = {Real, Lucas Silva Sinzato and Aurichi, Leandro Fiorini},
year = {2024},
doi = {10.11606/D.55.2024.tde-14052024-161415},
school = {Universidade de São Paulo}
}