@mastersthesis{mastersthesisd20a164b,
title   = {Compilação de conhecimento não-incremental de programas de conjuntos de respostas probabilísticos},
author = {Gonçalves, Jonas Rodrigues Lima and Mauá, Denis Deratani},
year = {2025},
doi = {10.11606/D.45.2025.tde-14012026-012430},
school = {Universidade de São Paulo}
}