Comparing CSP and SAT Solvers for Polynomial Constraints in Termination Provers. - Salvador Lucas; Rafael Navarro-Marset (PROLE, 2007)

Search Techniques for Rational Polynomial Orders. - Carsten Fuhs; Rafael Navarro-Marset; Carsten Otto; Jürgen Giesl; Salvador Lucas; Peter Schneider-Kamp (AISC/MKM/Calculemus, 2008)

Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic. - Cristina Borralleras; Salvador Lucas; Rafael Navarro-Marset; Enric Rodríguez-Carbonell; Albert Rubio (CADE, 2009)

Proving Termination Properties with mu-term. - Beatriz Alarcón; Raúl Gutiérrez; Salvador Lucas; Rafael Navarro-Marset (AMAST, 2010)