Gravar-mail: InP and AlInP(001)(2 × 4) Surface Oxidation from Density Functional Theory