Cita APA

Aguirre Garcia, L. M., Martí Oliet, N., Palomino Tarjuelo, M., & Pita Andreu, M. I. (2021). Strategies in Conditional Narrowing Modulo SMT Plus Axioms.

Citación estilo Chicago

Aguirre Garcia, Luis Manuel, Narciso Martí Oliet, Miguel Palomino Tarjuelo, y María Isabel Pita Andreu. Strategies in Conditional Narrowing Modulo SMT Plus Axioms. 2021.

Cita MLA

Aguirre Garcia, Luis Manuel, Narciso Martí Oliet, Miguel Palomino Tarjuelo, y María Isabel Pita Andreu. Strategies in Conditional Narrowing Modulo SMT Plus Axioms. 2021.