APA-viite

Voronkov, A. (1993). Logic Programming and Automated Reasoning. Berlin: Springer-Verlag.

Chicago-tyylinen lähdeviittaus

Voronkov, Andrei. Logic Programming and Automated Reasoning. Berlin: Springer-Verlag, 1993.

MLA-viite

Voronkov, Andrei. Logic Programming and Automated Reasoning. Berlin: Springer-Verlag, 1993.

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