Aceto, Luca, Willem Jan Fokkink, Anna Ingólfsdóttir, and Bas Luttik. “Split-2 Bisimilarity Has a Finite Axiomatization over CCS With Hennessy’s Merge”. BRICS Report Series 11, no. 1 (January 5, 2004). Accessed May 5, 2024. https://tidsskrift.dk/brics/article/view/21826.