Peter Schneider-Kamp Carsten Fuhs René Thiemann Jürgen Giesl Elena Annov Michael Codish Aart Middeldorp Harald Zankl Implementing RPO and POLO using SAT. 2007 Deduction and Decision Procedures http://drops.dagstuhl.de/opus/volltexte/2007/1249 conf/dagstuhl/2007P7401 db/conf/dagstuhl/P7401.html#Schneider-KampFTGACMZ07