@article{Coquand_2015,
title={Anneaux à diviseurs et anneaux de Krull (une approche constructive)},
volume={44},
ISSN={1532-4125},
url={http://dx.doi.org/10.1080/00927872.2014.975346},
DOI={10.1080/00927872.2014.975346},
number={2},
journal={Communications in Algebra},
publisher={Informa UK Limited},
author={Coquand,
T. and Lombardi,
H.},
year={2015},
month=nov,
pages={515–567} }