Automated Reasoning

MLA

Nicola Olivetti, Ashish Tiwari, and Ashish Tiwari. Automated Reasoning. Springer International Publishing, 2016.

APA

Nicola Olivetti, A. Tiwari, & Tiwari, A. (2016). Automated Reasoning. Springer International Publishing.

Chicago

Nicola Olivetti, Ashish Tiwari, and Ashish Tiwari. Automated Reasoning. : Springer International Publishing, 2016.