Hyttinen T, Kangas K. On model theory of covers of algebraically closed fields. Ann. Fenn. Math. 2015;40(2):507-533. doi:10.5186/aasfm.2015.4048