L. Aceto, W. J. Fokkink, A. Ingólfsdóttir, and B. Luttik, “Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy’s Merge”, BRICS, vol. 11, no. 1, Jan. 2004.