Jürgen Giesl, Peter Schneider-Kamp, René Thiemann, Stephan Swiderski, Manh Thang Nguyen, Danny De Schreye, Alexander Serebrenik. Termination of Programs using Term Rewriting and SAT Solving. In Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis, editors, Deduction and Decision Procedures, 30.09. - 05.10.2007. Volume 07401 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2007. [doi]
Abstract is missing.