Opisotretidae
Martensodesmus bicuspidatus Golovatch, 1988
Martensodesmus excornus Golovatch, 1988
Martensodesmus himalayensis Golovatch, 1987
Martensodesmus nagarjungicus Golovatch, 1987
Martensodesmus sherpa Golovatch, 1987
