Cita APA (7a ed.)

Robinson, J. A., & Voronkov, A. (2001). Handbook of automated reasoning (1st edition.). Elsevier.

Cita Chicago Style (17a ed.)

Robinson, J. A., y A. Voronkov. Handbook of Automated Reasoning. 1st edition. Amsterdam ; London: Elsevier, 2001.

Cita MLA (9a ed.)

Robinson, J. A., y A. Voronkov. Handbook of Automated Reasoning. 1st edition. Elsevier, 2001.