Aceto, Luca, Zoltán Ésik, and Anna Ingólfsdóttir. 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.