Allochthonius (Allochthonius) buanensis W.K. Lee, 1982
Species
Allochthonius (Allochthonius) coreanus Morikawa, 1970
Pseudotyrannochthonius dentifer (Morikawa, 1970)
Allochthonius (Allochthonius) opticus (Ellingsen, 1907)
Allochthonius (Allochthonius) buanensis W.K. Lee, 1982
Species