Cita APA

Lucas Alba, S., & Meseguer, J. (2014). 2D Dependency Pairs for Proving Operational Termination of CTRSs.

Citación estilo Chicago

Lucas Alba, Salvador|||0000-0001-9923-2108, y José Meseguer. 2D Dependency Pairs for Proving Operational Termination of CTRSs. 2014.

Cita MLA

Lucas Alba, Salvador|||0000-0001-9923-2108, y José Meseguer. 2D Dependency Pairs for Proving Operational Termination of CTRSs. 2014.