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.