Naijun Zhan Jinzhao Wu Compositionality of Fixpoint Logic with Chop. 136-150 2005 conf/ictac/2005 ICTAC http://dx.doi.org/10.1007/11560647_9 db/conf/ictac/ictac2005.html#ZhanW05