"Josef Nechv\u00E1tal"@cs .