"Michal B\u00FCrger"@cs .