Aceto, L., Fokkink, W.J., Ingólfsdóttir, A. and Luttik, B. 2004. Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy’s Merge. BRICS Report Series. 11, 1 (Jan. 2004). DOI:https://doi.org/10.7146/brics.v11i1.21826.