Implementing RPO and POLO using SAT. - Peter Schneider-Kamp; Carsten Fuhs; René Thiemann; Jürgen Giesl; Elena Annov; Michael Codish; Aart Middeldorp; Harald Zankl (Deduction and Decision Procedures, 2007)

Proving Termination Using Recursive Path Orders and SAT Solving. - Peter Schneider-Kamp; René Thiemann; Elena Annov; Michael Codish; Jürgen Giesl (FroCoS, 2007)