Aceto, L.; Ésik, Z.; Ingólfsdóttir, A. On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers. BRICS 1999, 6.