Ondřej Čepek
Petr Kučera

Charles University
Faculty of Mathematics and Physics
School of Computer Science
Department of Theoretical Computer Science and Mathematical Logic

Malostranské náměstí 25
118 00 Praha 1
Czech Republic
Phone: +420 221 914 246
Fax: +420 221 914 323

Petr Savický

Institute of Computer Science
Academy of Sciences of the Czech Republic

Pod Vodárenskou věží 2
182 07 Praha 8
Czech Republic