Approaching the UCT problem via crossed products of the Razak-Jacelon algebra - Selçuk Barlak; Gábor Szabó (2017)