Cita APA

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

Citación estilo 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 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.