Dudenhefner, A. (2022). Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version).
Chicago Style (17th ed.) CitationDudenhefner, Andrej. Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version). 2022.
MLA (9th ed.) CitationDudenhefner, Andrej. Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version). 2022.
Warning: These citations may not always be 100% accurate.