"Dorcus bucephalus"@cs .