Citazione APA

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

Stile di citazione Chicago

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

Citazione MLA

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

Attenzione: Queste citazioni potrebbero non essere precise al 100%.