Gaya APA
Voronkov, A.
(1992).
Logic Programming and Automated Reasoning
.
:
Springer Verlag.
Gaya MLA
Voronkov, Andrei.
"Logic Programming and Automated Reasoning".
:
Springer Verlag,
1992.
Text.