Publications by authors named "Karel Navratil"