APA-referens (7:e uppl.)

Platzer. (2021). Automated Deduction â€" CADE 28 (1.). Springer International Publishing.

Chicago-referens (17:e uppl.)

Platzer. Automated Deduction â€" CADE 28. 1. Springer International Publishing, 2021.

MLA-referens (8:e uppl.)

Platzer. Automated Deduction â€" CADE 28. 1. Springer International Publishing, 2021.

Varning: dessa hänvisningar är inte alltid fullständigt riktiga.