Citação norma APA

Lucas Alba, S., & Gutiérrez Gil, R. (2018). Use of logical models for proving infeasibility in term rewriting.

Citação norma Chicago

Lucas Alba, Salvador|||0000-0001-9923-2108, y Raúl|||0000-0002-3984-2868 Gutiérrez Gil. Use of Logical Models for Proving Infeasibility in Term Rewriting. 2018.

Citação norma MLA

Lucas Alba, Salvador|||0000-0001-9923-2108, y Raúl|||0000-0002-3984-2868 Gutiérrez Gil. Use of Logical Models for Proving Infeasibility in Term Rewriting. 2018.

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