Automated Reasoning

MLA

Blanchette, Jasmin, Laura Kovács, and Dirk Pattinson. Automated Reasoning. Springer International Publishing, 2022.

APA

Blanchette, J., Kovács, L., & Pattinson, D. (2022). Automated Reasoning. Springer International Publishing.

Chicago

Blanchette, Jasmin, Laura Kovács, and Dirk Pattinson. Automated Reasoning. : Springer International Publishing, 2022.