Undecidability Results on Orienting Single Rewrite Rules by RenΓ© Thiemann π§, Fabian Mitterwallner and Aart Middeldorp π Apr 25