Cita APA

Dalmonte, T., Olivetti, N., & Pozzato, G. L. (2020). HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description). Automated Reasoning.

Citación estilo Chicago

Dalmonte, Tiziano, Nicola Olivetti, and Gian Luca Pozzato. "HYPNO: Theorem Proving With Hypersequent Calculi for Non-normal Modal Logics (System Description)." Automated Reasoning 2020.

Cita MLA

Dalmonte, Tiziano, Nicola Olivetti, and Gian Luca Pozzato. "HYPNO: Theorem Proving With Hypersequent Calculi for Non-normal Modal Logics (System Description)." Automated Reasoning 2020.

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