Publications by authors named "Petr Vachata"