Aceto, L.; Fokkink, W. J.; Ingólfsdóttir, A.; Luttik, B. Finite Equational Bases in Process Algebra: Results and Open Questions. BRICS 2005, 12.