Aceto, L., Ésik, Z., & Ingólfsdóttir, A. (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