School of Computer Science, University of St Andrews, UK.