On the equivalence of several definitions of compact infra-solvmanifolds
Shintaro Kuroki, Li Yu
Proceedings of the Japan Academy, Ser. A Mathematical Sciences
89
9
114
118