"J. A. Novotn\u00FD"@cs .