Institute for Theoretical Computer Science Department of Theoretical Computer Science and Mathematical Logic Faculty of Mathematics and Physics, Charles University, PragueAll rights reserved. © 2003