Voronkov, A. (1993). Logic Programming and Automated Reasoning. Berlin: Springer-Verlag.
Chicago-стиль цитированияVoronkov, Andrei. Logic Programming and Automated Reasoning. Berlin: Springer-Verlag, 1993.
MLA-цитированиеVoronkov, Andrei. Logic Programming and Automated Reasoning. Berlin: Springer-Verlag, 1993.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.