Aceto, L., Fokkink, W.J. and Ingólfsdóttir, A. 2000. 2-Nested Simulation is not Finitely Equationally Axiomatizable. BRICS Report Series. 7, 20 (Aug. 2000). DOI:https://doi.org/10.7146/brics.v7i20.20147.