Citação norma APA

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

Citação norma 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ção norma 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.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.