"Martin Sl\u00E1ma"@cs .