Publications by authors named "Karel Marsal"