Marcel Oliveira Ana Cavalcanti Jim Woodcock Unifying Theories in ProofPower-Z. 123-140 2006 conf/utp/2006 UTP http://dx.doi.org/10.1007/11768173_8 db/conf/utp/utp2006.html#OliveiraCW06