1. Modelling & Reasoning Research Group, Department of Computer Science, Loughborough University, Loughborough, Leics. LE11 3TU, UK
2. AI Group, Department of Engineering Mathematics, University of Bristol, Queen's Building, University Walk, Bristol, BS8 1TR, UK