"Karel Hegner"@cs .