Heavy QCD axion model in light of pulsar timing arrays - doi 10.1103/PhysRevD.108.115020 2023-12 Article type Journal