Taxonomic study on the subgenus Orientostichus, the Pterostichus pulcher species group (Coleoptera, Carabidae, Pterostichus). ZooKeys, 1175, Aug 16 2023: 163-185. 177 [Zoological Record Volume 160]