"Michal Van\u00FDsek"@cs . "Abe"@cs .