@misc{misca204ca1f,
title   = {K-decidibilidade e estabilidade de pontos de equilibrio},
author = {Garcia, Sônia Regina Leite},
year = {1997},
publisher = {IME-USP}
}