Testing for Renamability to Classes of Clause Sets. - Albert Brandl; Christian G. Fermüller; Gernot Salzer (CoRR, 2025)