Voronkov, A. (1993). Logic Programming and Automated Reasoning. Berlin: Springer-Verlag.
Chicago Style CitationVoronkov, Andrei. Logic Programming and Automated Reasoning. Berlin: Springer-Verlag, 1993.
Cita MLAVoronkov, Andrei. Logic Programming and Automated Reasoning. Berlin: Springer-Verlag, 1993.
Atenció: Aquestes cites poden no estar 100% correctes.