Volver atrás Publicación
Gutiérrez Gil Raúl, Lucas Alba Salvador
2009
Mechanizing Proofs of Termination with Context-Sensitive Dependency Pairs
