@article{KYB_1985__21_3_a5,
     author = {Staiger, Ludwig},
     title = {Representable {P.} {Martin-L\"of} tests},
     journal = {Kybernetika},
     pages = {235--243},
     publisher = {mathdoc},
     volume = {21},
     number = {3},
     year = {1985},
     mrnumber = {806728},
     zbl = {0576.03033},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1985__21_3_a5/}
}