APA (7th ed.) Citation

IJCAR Coimbra & Olivetti, N. (2016). Automated reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016 : proceedings. Springer. https://doi.org/10.1007/978-3-319-40229-1

Chicago Style (17th ed.) Citation

IJCAR Coimbra and Nicola Olivetti. Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016 : Proceedings. [Cham]: Springer, 2016. https://doi.org/10.1007/978-3-319-40229-1.

MLA (9th ed.) Citation

IJCAR Coimbra and Nicola Olivetti. Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016 : Proceedings. Springer, 2016. https://doi.org/10.1007/978-3-319-40229-1.