Affiliation: | a Department of Computing, School of Informatics, City University, London, EC1V 0HB, UK;b Department of Computer Science, King's College London, Strand, London WC2R 2LS, UK;c International Center for Computational Logic, TU Dresden, 01062, Dresden, Germany;d Department of Mathematics, King's College London, Strand, London WC2R 2LS, UK |