Tomasz Gogacz Instytut Informatyki Uniwersytetu Wrocławskiego ul. Joliot-Curie 15 50-383 Wrocław, Poland gogo@cs.uni.wroc.pl