Petr Hájek

Petr Hájek works in the Institute of Computer Science at the Academy of Sciences of the Czech Republic, Prague.