"Rudolf Repka"@cs .