Department of Computer Science, University of Warwick, Coventry, UK. ctli@dcs.warwick.ac.uk|Department of Computer Science, University of Warwick, Coventry, UK. ctli@dcs.warwick.ac.uk|Department of Computer Science, University of Warwick, Coventry, UK. ctli@dcs.warwick.ac.uk