Aceto, L.; Fokkink, W. J.; Ingólfsdóttir, A. 2-Nested Simulation Is Not Finitely Equationally Axiomatizable. BRICS 2000, 7.