Four infinite families of chiral 3-polytopes of type {4,8} with solvable automorphism groups. - Dong-Dong Hou; Tian-Tian Zheng; Rui-Rui Guo (Discret. Math., 2024)