Aceto, Luca, Zoltán Ésik, and Anna Ingólfsdóttir. 1999. “On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers”. BRICS Report Series 6 (22). https://doi.org/10.7146/brics.v6i22.20079.