https://123dok.net/document/yr3j6g1v-finiteness-results-for-lattices-in-certain-lie-groups.html