Joost Vennekens David Gilis Marc Denecker Erratum to splitting an operator: Algebraic modularity results for logics with fixpoint semantics. 2007 8 ACM Trans. Comput. Log. 1 http://doi.acm.org/10.1145/1182613.1189735 db/journals/tocl/tocl8.html#VennekensGD07