"Martin Langmajer"@cs .