Aceto, Luca, Willem Jan Fokkink, Anna Ingólfsdóttir, and Bas Luttik. “Finite Equational Bases in Process Algebra: Results and Open Questions”. BRICS Report Series 12, no. 19 (June 11, 2005). Accessed April 28, 2024. https://tidsskrift.dk/brics/article/view/21885.