An exhaustion of locally symmetric spaces by compact submanifolds with corners. Enrico Leuzinger — 1995 Inventiones mathematicae
Tits geometry, arithmetic groups, and the proof of a conjecture of Siegel. Leuzinger, Enrico — 2004 Journal of Lie Theory