Acuña Ortega, O. 2014. K-finite objects and decidability. Revista de Matemática: Teoría y Aplicaciones. 21, 1 (Apr. 2014), 1–10. DOI:https://doi.org/10.15517/rmta.v21i1.14124.