APA-viite

Alan Bundy. (1994). Automated deduction CADE 12. Springer-Verlag.

Chicago-tyylinen lähdeviittaus

Alan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.

MLA-viite

Alan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.

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