Raúl Gutiérrez Gil

Automatic proofs of termination of context-sensitive rewriting

Raúl Gutiérrez Gil, R. G. Gil, 2010 .

Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting

Raúl Gutiérrez Gil, Salvador Lucas Alba, 2015 .

Mechanizing proofs of termination in the context-sensitive dependency pairs framework

Raúl Gutiérrez Gil, Salvador Lucas Alba, R. G. Gil, 2009 .

Context-Sensitive Dependency Pairs Framework

Raúl Gutiérrez Gil, 2011 .