1. Department of Computer Science, Royal Holloway, University of London, TW20 0EX, Egham, Surrey, UK.
2. IMADA, University of Southern Denmark, Campusvej 55, 5230 Odense, Denmark, and Department of Mathematics, University of Johannesburg, Auckland Park, 2006 South Africa.