Citação norma APA

Ciccalè, M., Jurjo-Rivas, D., Morales, J. F., López-García, P., & Hermenegildo, M. (2025). Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs.

Citação norma Chicago

Ciccalè, Marco, Daniel Jurjo-Rivas, José F. Morales, Pedro López-García, y Manuel Hermenegildo. Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs. 2025.

Citação norma MLA

Ciccalè, Marco, et al. Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs. 2025.

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