"Halicmetus"@cs .