Since 1960, the Notre Dame Journal of Formal Logic has published original work in all areas of logic and the foundations of mathematics.
The Complexity of Primes in Computable Unique Factorization Domains
Damir D. Dzhafarov, et al. (2018)