Automated Reasoning

MLA

Stéphane Demri, Deepak Kapur, Christoph Weidenbach, et al. Automated Reasoning. Springer International Publishing, 2014.

APA

Stéphane Demri, C. Weidenbach, Demri, S., Kapur, D., & Weidenbach, C. (2014). Automated Reasoning. Springer International Publishing.

Chicago

Stéphane Demri, Deepak Kapur, Christoph Weidenbach, Stéphane Demri, Deepak Kapur, and Christoph Weidenbach. Automated Reasoning. : Springer International Publishing, 2014.