Citação norma APA

Divasón, J. [., & Thiemann, R. (2022). Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic (Journal of Automated Reasoning, (2022), 66, 4, (1065-1095), 10.1007/s10817-022-09631-5).

Citação norma Chicago

Divasón, Jose [0000-0002-5173-128X], y René Thiemann. Correction To: A Formalization of the Smith Normal Form in Higher-Order Logic (Journal of Automated Reasoning, (2022), 66, 4, (1065-1095), 10.1007/s10817-022-09631-5). 2022.

Citação norma MLA

Divasón, Jose [0000-0002-5173-128X], y René Thiemann. Correction To: A Formalization of the Smith Normal Form in Higher-Order Logic (Journal of Automated Reasoning, (2022), 66, 4, (1065-1095), 10.1007/s10817-022-09631-5). 2022.

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