I NSTITUTE OF C OMPUTER S CIENCE
POLISH ACADEMY OF SCIENCES