Aceto L, Fokkink WJ, Ingólfsdóttir A. 2-Nested Simulation is not Finitely Equationally Axiomatizable. BRICS [Internet]. 2000 Aug. 1 [cited 2024 Apr. 26];7(20). Available from: https://tidsskrift.dk/brics/article/view/20147