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