"Andrej Nedorost"@cs .