Frank Wolter
Department of Computer Science
University of Liverpool
Liverpool L69 7ZF, UK
frank@csc.liv.ac.uk

Michael Zakharyaschev
Department of Computer Science
King's College London
London WC2R 2LS
mz@dcs.kcl.ac.uk