Automated Deduction – CADE 26
MLA
de Moura. Automated Deduction – Cade 26. Springer International Publishing, 2017.
APA
de Moura, d. Moura. (2017). Automated Deduction – CADE 26. Springer International Publishing.
Chicago
de Moura Automated Deduction – CADE 26. : Springer International Publishing, 2017.
