"Thagirion"@cs .