Cita APA

Alarcón, B., Iborra, J., Gutiérrez Gil, R., & Lucas Alba, S. (2007). Proving Termination of Context-Sensitive Rewriting with MU-TERM.

Citación estilo Chicago

Alarcón, Beatriz, José Iborra, Raúl|||0000-0002-3984-2868 Gutiérrez Gil, y Salvador|||0000-0001-9923-2108 Lucas Alba. Proving Termination of Context-Sensitive Rewriting With MU-TERM. 2007.

Cita MLA

Alarcón, Beatriz, José Iborra, Raúl|||0000-0002-3984-2868 Gutiérrez Gil, y Salvador|||0000-0001-9923-2108 Lucas Alba. Proving Termination of Context-Sensitive Rewriting With MU-TERM. 2007.