Cita APA

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

Citación estilo Chicago

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

Cita MLA

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

Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.