International conference on automated deduction. Proceedings Gotemburgo, S., & de Moura, L. (2017). Automated deduction - CADE 26 (1 edición.). Cham, Suiza: Springer.
Chicago Style CitationInternational conference on automated deduction. Proceedings Gotemburgo, Suecia), and Leonardo de Moura. Automated Deduction - CADE 26. 1 edición. Cham, Suiza: Springer, 2017.
MLA CitationInternational conference on automated deduction. Proceedings Gotemburgo, Suecia), and Leonardo de Moura. Automated Deduction - CADE 26. 1 edición. Cham, Suiza: Springer, 2017.
Warning: These citations may not always be 100% accurate.