Transforming SAT into Termination of Rewriting

Harald Zankl, Christian Sternagel, Aart Middeldorp. Transforming SAT into Termination of Rewriting. Electronic Notes in Theoretical Computer Science, 246:199-214, 2009. [doi]

Abstract

Abstract is missing.