Aceto, Luca, Zoltán Ésik, and Anna Ingólfsdóttir. “The Max-Plus Algebra of the Natural Numbers Has No Finite Equational Basis”. BRICS Report Series 6, no. 33 (December 3, 1999). Accessed April 27, 2024. https://tidsskrift.dk/brics/article/view/20102.