Hiroshi HIRAI, A Nonpositive Curvature Property of Modular Semilattices, 34pp., May 2019.