Combining Logics

Agi Kurucz
Department of Computer Science
King's College London
London WC2R 2LS
kuag@dcs.kcl.ac.uk