@article {IOPORT.50167134,
    author       = {Knight, Julia F. and Miller, Sara and Boom, M. Vanden},
    title        = {Turing computable embeddings},
    year         = {2007},
    journal      = {J. Symb. Log.},
    volume       = {72},
    number       = {3},
    pages        = {901-918},
    identifier   = {50167134},
}