TY  - RPRT
TI  - Revisiting Zariski Main Theorem from a constructive point of view
AU  - Alonso M. Emilia
AU  - Coquand Thierry
AU  - Lombardi Henri
PY  - 2016
DO  - 10.1016/j.jalgebra.2014.02.003
UR  - https://arxiv.org/abs/1602.00597
ID  - 1602.00597
ER  -