Aceto, L.; Ésik, Z.; Ingólfsdóttir, A. The Max-Plus Algebra of the Natural Numbers Has No Finite Equational Basis. BRICS 1999, 6.