Exact exchange: A pathway for a density functional theory of the integer quantum Hall effectD. Miravet, G. J. Ferreira and C. R. ProettoEPL, 119 5 (2017) 57001DOI: https://doi.org/10.1209/0295-5075/119/57001