Cita APA

Gutiérrez Gil, R., & Meseguer, J. (2018). Variant-Based Decidable Satisfiability in Initial Algebras with Predicates.

Citación estilo Chicago

Gutiérrez Gil, Raúl|||0000-0002-3984-2868, y José Meseguer. Variant-Based Decidable Satisfiability in Initial Algebras With Predicates. 2018.

Cita MLA

Gutiérrez Gil, Raúl|||0000-0002-3984-2868, y José Meseguer. Variant-Based Decidable Satisfiability in Initial Algebras With Predicates. 2018.