Citação norma APA

Aguirre García, L. M. (2024). Conditional narrowing modulo membership equational logic theories with SMT solvers.

Citação norma Chicago

Aguirre García, Luis Manuel. Conditional Narrowing Modulo Membership Equational Logic Theories With SMT Solvers. 2024.

Citação norma MLA

Aguirre García, Luis Manuel. Conditional Narrowing Modulo Membership Equational Logic Theories With SMT Solvers. 2024.

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