Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups - Murray Neuzerling (2015)