@article{OHer07a,
author = {O.~Hermant},
title = {Skolemization in various intuitionistic logics},
note={To appear},
publisher={Springer},
journal={Archive for Mathematical Logic},
projects = {MERIT,PROMESAS},
butype = {article},
year={2008}
}