Automated Deduction – CADE 28

MLA

Platzer, André, and Geoff Sutcliffe. Automated Deduction – Cade 28. Springer International Publishing, 2021.

APA

Platzer, A., & Sutcliffe, G. (2021). Automated Deduction – CADE 28. Springer International Publishing.

Chicago

Platzer, André, and Geoff Sutcliffe. Automated Deduction – CADE 28. : Springer International Publishing, 2021.