"David Havl\u00EDk"@cs .