@inproceedings{inproceedingsa422d739,
title   = {Complexidade de detecção de procedimentos recursivos},
author = {Terada, Routo},
year = {1985},
publisher = {Impa},
booktitle   = {Colóquio Brasileiro de Matemática}
}