Neotropical Thoasia Liebke, 1939 and Straneotia Mateu, 1961 of the Cryptobatida group, subtribe Agrina: Taxonomic revisions with notes on their ways of life (Insecta, Coleoptera, Carabidae, Lebiini). ZooKeys, 742, Mar 12 2018: 57-90. 85 [Zoological Record Volume 154]