Lívia Medeiros, Fabiano Oliveira, and Jayme Szwarcfiter. 2021.
Limite superior algorítmico para a contagem de intervalo. In Anais do VI Encontro de Teoria da Computação, julho 18, 2021, Evento Online, Brasil. SBC, Porto Alegre, Brasil, 5-8. DOI: https://doi.org/10.5753/etc.2021.16367.