"Josef Pulec"@cs .