Email: arnfa @ ida.liu.se Phone: +46 13 28 1962 Fax: +46 13 142231 Adress: Department of Computer and Information Science (IDA) Linköping University S-581 83 Linköping Sweden