Aceto, L., Ésik, Z. and Ingólfsdóttir, A. (1999) “The Max-Plus Algebra of the Natural Numbers has no Finite Equational Basis”, BRICS Report Series, 6(33). doi: 10.7146/brics.v6i33.20102.