@misc {IOPORT.71039910,
    author       = {Kudinov, Oleg V. and Selivanov, Victor L. and Zhukov, Anton V.},
    title        = {Undecidability in weihrauch degrees},
    howpublished = {CiE, 256-265 (2010).},
    year         = {2010},
    doi          = {10.1007/978-3-642-13962-8_29},
    identifier   = {71039910},
}