"mah\u00E1mantry"@cs .