@misc{misc42ae42c9,
title   = {A really simple proof of the Artin-Schreier characterization of real closed fields},
author = {Luciano, Odilon Otavio},
year = {2016},
booktitle   = {Workshop Logic and Applications in honor to Francisco Miraglia by the occasion of his 70th birthday}
}