University of Tromsø e-mail: tore@cs.uit.no IMR Phone : +47 77 64 40 44 Computer Science Department Fax : +47 77 64 45 80 Breivika http : http://www.cs.uit.no/~tore/ N-9037 Tromsø