"Smicromyrmilla miranda"@cs .