Lucas Alba, S., Gutiérrez Gil, R., & Meseguer, J. (2020). The 2D Dependency Pair Framework for Conditional Rewrite Systems¿Part II: Advanced Processors and Implementation Techniques.
Citação norma ChicagoLucas Alba, Salvador|||0000-0001-9923-2108, Raúl|||0000-0002-3984-2868 Gutiérrez Gil, e José Meseguer. The 2D Dependency Pair Framework for Conditional Rewrite Systems¿Part II: Advanced Processors and Implementation Techniques. 2020.
Citação norma MLALucas Alba, Salvador|||0000-0001-9923-2108, Raúl|||0000-0002-3984-2868 Gutiérrez Gil, e José Meseguer. The 2D Dependency Pair Framework for Conditional Rewrite Systems¿Part II: Advanced Processors and Implementation Techniques. 2020.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.