@article{MM2_1984__49_155037,
     author = {Dan Haran},
     title = {The {Undecidability} of {Pseudo} {Real} {Closed} {Fields.}},
     journal = {Manuscripta mathematica},
     pages = {91--108},
     publisher = {mathdoc},
     volume = {49},
     year = {1984},
     zbl = {0578.12020},
     url = {http://geodesic.mathdoc.fr/item/MM2_1984__49_155037/}
}