Style de citation APA (7e éd.)

Robinson, J. A., & Voronkov, A. (2001). Handbook of automated reasoning. Elsevier ; MIT Press.

Style de citation Chicago (17e éd.)

Robinson, J. A., et Andrei Voronkov. Handbook of Automated Reasoning. Amsterdam ; New York : Cambridge, Mass.: Elsevier ; MIT Press, 2001.

Style de citation MLA (8e éd.)

Robinson, J. A., et Andrei Voronkov. Handbook of Automated Reasoning. Elsevier ; MIT Press, 2001.