Citação norma APA

Mansutti, A. (2020). An Auxiliary Logic on Trees: On the Tower-Hardness of Logics Featuring Reachability and Submodel Reasoning. Foundations of Software Science and Computation Structures.

Citação norma Chicago

Mansutti, Alessio. "An Auxiliary Logic On Trees: On the Tower-Hardness of Logics Featuring Reachability and Submodel Reasoning." Foundations of Software Science and Computation Structures 2020.

Citação norma MLA

Mansutti, Alessio. "An Auxiliary Logic On Trees: On the Tower-Hardness of Logics Featuring Reachability and Submodel Reasoning." Foundations of Software Science and Computation Structures 2020.

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