Aceto, L.; Fokkink, W. J.; Ingólfsdóttir, A.; Luttik, B. Split-2 Bisimilarity Has a Finite Axiomatization over CCS With Hennessy’s Merge. BRICS 2004, 11.