APA引文

Bruscoli, P., Guglielmi, A., Gundersen, T., & Parigot, M. (2016, May). Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae. Logical Methods in Computer Science.

Chicago Style (17th ed.) Citation

Bruscoli, Paola, Alessio Guglielmi, Tom Gundersen, and Michel Parigot. "Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae." Logical Methods in Computer Science May. 2016.

MLA引文

Bruscoli, Paola, et al. "Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae." Logical Methods in Computer Science, May. 2016.