APA-viite

Nieuwenhuis, R. (2020). Automated Deduction – CADE-20. Springer Berlin Heidelberg.

Chicago-tyylinen lähdeviittaus

Nieuwenhuis, Robert. Automated Deduction €� CADE-20. Springer Berlin Heidelberg, 2020.

MLA-viite

Nieuwenhuis, Robert. Automated Deduction €� CADE-20. Springer Berlin Heidelberg, 2020.

Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.