Department of Computer Science & Zeeman Institute, University of Warwick, Coventry, UK.|Department of Computer Science & Zeeman Institute, University of Warwick, Coventry, UK.|Department of Computer Science & Zeeman Institute, University of Warwick, Coventry, UK.