@misc{misc9e2c1e95,
title   = {Polynomial space computable arithmetic},
author = {Silva, Emmanuel Felix Lopes da and Bianconi, Ricardo and Queiroz, Ruy José Guerra Barretto de},
year = {2009},
doi = {10.2178/bsl/1246453979},
publisher = {Cambridge University Press},
booktitle   = {Latin American Symposium on Mathematical Logic - SLALM}
}