Institute of Computer Science of the Polish Academy of Sciences Warsaw, Poland