"Leptothorax"@cs .