@inproceedings{inproceedingsdef9d374,
title   = {A note on k-decidability},
author = {Garcia, Manuel Valentim de Pera},
year = {1987},
publisher = {Sbmac},
booktitle   = {Congresso Nacional de Matematica Aplicada e Computacional}
}