Case, J., & Kötzing, T. (2016). Topological Separations in Inductive Inference. Theoretical Computer Science, 260, 33-45. doi:10.1016/j.tcs.2015.10.036.