@workingPaper{ComonTreinen_1993,
title={The first-order theory of lexicographic path orderings is undecidable},
author={Comon, Hubert and Treinen, Ralf},
doi={http://dx.doi.org/10.22028/D291-24881},
year={1993}
}