1. Department of Mathematics, Linköping University, SE-581 83 Linköping, Sweden,
2. Department of Computer and Information Science, Linköping University, SE-581 83 Linköping, Sweden,
3. Department of Computer and Information Science, Linköping University, SE-581 83 Linköping, Sweden ,