TY - RPRT TI - A counterexample regarding labelled well-quasi-ordering AU - Robert Brignall AU - Michael Engen AU - Vincent Vatter PY - 2018 UR - https://arxiv.org/abs/1709.10042 ID - 1709.10042 ER -