Univ.-Prof. Dr. Aart Middeldorp   

Transforming SAT into Termination of Rewriting

Harald Zankl, Christian Sternagel, and Aart Middeldorp
Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2008), Electronic Notes in Theoretical Computer Science 246, pp. 199 – 214, 2009

abstract   bibtex   pdf   doi:10.1016/j.entcs.2009.07.023  
© 2009 Elsevier B.V.