Παραπομπή APA
Robinson, J. A., & Voronkov, A. (2001). Handbook of automated reasoning. Amsterdam ; New York : Cambridge, Mass.: Elsevier.
Παραπομπή Chicago StyleRobinson, J. A., and Andrei Voronkov. Handbook of Automated Reasoning. Amsterdam ; New York : Cambridge, Mass.: Elsevier, 2001.
Παραπομπή MLARobinson, J. A., and Andrei Voronkov. Handbook of Automated Reasoning. Amsterdam ; New York : Cambridge, Mass.: Elsevier, 2001.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.