Walchia (Walchia) koi (Chen and Hsu, 1957):

PAL

Gahrliepia (Walchia) koi Chen and Hsu, 1957; Chen & Hsu 1958a

Walchia (Walchia) koi, Vercammen-Grandjean, 1968c [ ewingi group]

Walchia (Ventralia) koi, Wen 2002