SpringerLink (Online service) & de Moura, L. (2017). Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings. Springer International Publishing : Imprint: Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service) και Leonardo de Moura. Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings. Cham: Springer International Publishing : Imprint: Springer, 2017.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service) και Leonardo de Moura. Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings. Springer International Publishing : Imprint: Springer, 2017.
