The Σ_1-Provability Logic of HA* - Mohammad Ardeshir; Mojtaba Mojtahedi (2018)