APA (7th ed.) Citation

de Naurois, P., & Mogbil, V. (2008, June). Correctness of Multiplicative Additive Proof Structures is NL-Complete. 2008 23rd Annual IEEE Symposium on Logic in Computer Science, 476-485. https://doi.org/10.1109/LICS.2008.20

Chicago Style (17th ed.) Citation

de Naurois, P.J., and V. Mogbil. "Correctness of Multiplicative Additive Proof Structures Is NL-Complete." 2008 23rd Annual IEEE Symposium on Logic in Computer Science Jun. 2008: 476-485. https://doi.org/10.1109/LICS.2008.20.

MLA (9th ed.) Citation

de Naurois, P.J., and V. Mogbil. "Correctness of Multiplicative Additive Proof Structures Is NL-Complete." 2008 23rd Annual IEEE Symposium on Logic in Computer Science, Jun. 2008, pp. 476-485, https://doi.org/10.1109/LICS.2008.20.