Inseparabilidad recursiva y efectiva - Prida, José F. (Boletín del Centro de Cálculo de la Universidad Complutense, 2015)