Undecidability of the word problem for one-relator inverse monoids via right-angled Artin subgroups of one-relator groups - Robert D. Gray (2019)