"Manin"@cs .