, Inst.Comput.Sci. AGH-UST, Cracow, Poland