"Smicromyrme ingauna"@cs .