Aceto, L., Ésik, Z. and 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). doi: 10.7146/brics.v6i22.20079.