Современный толковый словарь, БСЭ /

БРЮХОРЕСНИЧНЫЕ ЧЕРВИ

то же, что гастротрихи.