"Marek Herout"@cs .