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