A rigorous numerical formulation for upper bound analysis of reinforced soils using second order cone programming. Issue 5 (October 2021)