Automated Reasoning

MLA

Peltier, and Viorica Sofronie-Stokkermans. Automated Reasoning. Springer International Publishing, 2020.

APA

Peltier, P., & Sofronie-Stokkermans, V. (2020). Automated Reasoning. Springer International Publishing.

Chicago

Peltier, and Viorica Sofronie-Stokkermans. Automated Reasoning. : Springer International Publishing, 2020.