1. Department of Computer and Information Sciences, University of Strathclyde, Glasgow, Scotland, United Kingdom
2. School of Computer Science, Reykjavík University, Reykjavík, Iceland
3. Department of Mathematics, University of California at San Diego