Fedor Fomin
Institutt for informatikk
University of Bergen
Postboks 7803, 5020, Bergen, Norway
fomin@ii.uib.no