@mastersthesis{mastersthesis1fa6e368,
title   = {O problema de Michael},
author = {Rocha, Vinicius Oliveira and Junqueira, Lucia Renato},
year = {2023},
doi = {10.11606/D.45.2023.tde-08052023-140947},
school = {Universidade de São Paulo}
}