No. 20 (2000): RS-20 2-Nested Simulation is not Finitely Equationally Axiomatizable

Published: 2000-01-20

Articles