Department of Informatics University of Oslo Postbox 1080 Blindern N-0316 Oslo Norway
Phone: +47 - 22 85 25 32 E-mail: truhafso@ifi.uio.no
INSTANCE II project page