Loading paper
Higher-rank GBS groups: non-positive curvature and biautomaticity | Tomesphere