"P. Pohl"@cs . "Pohl"@cs . "Petr Pohl"@cs .