Limit analysis of FRP strengthened masonry arches via nonlinear and linear programming