Voronkov, A. (1993). Logic Programming and Automated Reasoning. Berlin: Springer-Verlag.
Chicago ZitierstilVoronkov, Andrei. Logic Programming and Automated Reasoning. Berlin: Springer-Verlag, 1993.
MLA ZitierstilVoronkov, Andrei. Logic Programming and Automated Reasoning. Berlin: Springer-Verlag, 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.